Джаред Самнер з Anthropic попросив дослідню версію Claude розв’язати гіпотезу Римана

e/acc chatблизько 2 годин тому0 переглядів

Джаред Самнер, створювач bun і тепер співробітник Anthropic, попросив дослідню версію моделі Claude знайти доказ гіпотези Римана. Хоча модель не довела гіпотезу, вона покращила відомий результат, доверивши, що принаймні 67% нулів дзета-функції лежать на критичній лінії, що відкриває нові можливості для використання ШІ в складних математичних дослідженнях.

ВердиктПозитивнаImpact 5/10

🔬 Цікаво, але не продакшн — для дослідників ШІ, що хочуть перевірити границі можливостей моделей.

🎯 Чи підходить це вашому бізнесу?

Заповніть профіль компанії — і ми автоматично покажемо, чи варто вам це впроваджувати.

Заповнити профіль · 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 (теоремічний довідник)безкоштовнолокально, веб‑інтерфейсінтернет‑з’єднання, базові знання формальної логікиспеціалізований на формальній верифікації доказасів, а не на креативному пошуку нових ідей; вимагає людського введення кроків доказасу

💬 Часті запитання

Ні. У цьому випадку модель покращила відомий результат, але не довела гіпотезу Римана. Це демонструє потенціал ШІ допомагати у дослідженнях, але не замінює людську інтуїцію та формальну доказасову práцю.

Такий розбір щоранку о 08:00

Персональний AI-дайджест для вашої галузі — щодня у Telegram

7 днів безкоштовно
ClaudeRiemannhypothesisAIresearchAnthropicmathematics

Навчіть вашу команду будувати такі AI-автоматизації

За 5 днів кожен співробітник побудує автоматизацію для своєї ділянки роботи.

Дізнатись більше → aiupskill.live