Джаред Самнер з Anthropic попросив дослідню версію Claude розв’язати гіпотезу Римана
Джаред Самнер, створювач bun і тепер співробітник Anthropic, попросив дослідню версію моделі Claude знайти доказ гіпотези Римана. Хоча модель не довела гіпотезу, вона покращила відомий результат, доверивши, що принаймні 67% нулів дзета-функції лежать на критичній лінії, що відкриває нові можливості для використання ШІ в складних математичних дослідженнях.
🔬 Цікаво, але не продакшн — для дослідників ШІ, що хочуть перевірити границі можливостей моделей.
🎯 Чи підходить це вашому бізнесу?
Заповніть профіль компанії — і ми автоматично покажемо, чи варто вам це впроваджувати.
Заповнити профіль · 30 секундTL;DR
- •Jared Sumner, creator of Bun and Anthropic researcher, used a research version of Claude on 2026-08-08 to work on the Riemann hypothesis.
- •The model received only motivational prompts such as “keep going”, “believe in yourself”, “try again” and occasional “Push it”.
- •Over two long sessions, Claude autonomously generated ideas, checked them, combined existing theorems and wrote a proof sketch.
- •Although the hypothesis remains unproved, the model improved the known bound: at least 67% of zeros of the Riemann zeta function lie on the critical line, up from the previous 41.6%.
- •The achievement was obtained without any explicit mathematical guidance from the user, relying solely on the model’s internal reasoning.
Як це змінить ваш ринок?
Для галузі освіти та фундаментальних досліджень це сигнал, що великі модалі можуть стати співавторами в решенті складних математичних проблем, зменшуючи потребу у великих командах спеціалістів. Основний блокер — відсутність інструментів, які могли б самостійно досліджати гіпотези без людського втручання. Тепер ШІ може скоротити час на генерацію гипотез та перевірку лем, дозволяючи маленьким лабораторіям конкурирувати з великими інститутами у відкриттю нових теорем.
Визначення: Дослідна версія моделі — внутрішня, не публічна версія великої модалі, доступна лише партнерам або дослідникам з спеціальним дозволом, яка часто має розширені можливості самостійного розуміння та генерації довгих ланцюгів роздуму.
Для кого це і за яких умов
Для дослідників з доступом до исследовательської версії Claude через партнерство з Anthropic або через спеціальну програму раннього доступу. Потрібна GPU 24GB+ для локального запуску або стабільне з’єднання з хмарним API Anthropic; додаткова IT‑підтримка не обов’язкова, якщо використовується готовий інтерфейс. Експеримент можна провести за 1-2 дні: перший день — налаштування промптів та моніторинг, другий — аналіз отриманих результатів та формулювання висновків. Бюджет — від $0 (якщо доступ надається безкоштовно в рамках дослідження) до кількох сотень доларів за час обчислень у хмарі.
Альтернативи
| Продукт | Ціна | Де працює | Мін. вимоги | Ключова різниця |
|---|---|---|---|---|
| Claude API (публічна версія) | $0.08 за 1K токенів | хмарний API Anthropic | інтернет‑з’єднання, реєстрація | доступний широкому колу, але обмежений у довгих ланцюгах роздуму та без доступу до исследовательських можливостей |
| Llama 3 70B (опенсорс) | безкоштовно (власне обладнання) | локально або у хмарі | GPU 40GB+ або доступ до інстансу з достатньою пам’яттю | повна контроль над вагами, але потребує налаштування та експертизи для досягнення аналогічної продуктивності у довгих роздумах |
| Lean 4 (теоремічний довідник) | безкоштовно | локально, веб‑інтерфейс | інтернет‑з’єднання, базові знання формальної логіки | спеціалізований на формальній верифікації доказасів, а не на креативному пошуку нових ідей; вимагає людського введення кроків доказасу |
💬 Часті запитання
Такий розбір щоранку о 08:00
Персональний AI-дайджест для вашої галузі — щодня у Telegram
Джерела
e/acc chat — оригіналНавчіть вашу команду будувати такі AI-автоматизації
За 5 днів кожен співробітник побудує автоматизацію для своєї ділянки роботи.
Дізнатись більше → aiupskill.live