Гіпотеза Рімана: Claude за 36 годин зсунув рекорд, що тримався десятиліттями
Anthropic повідомила про експеримент, у якому дослідницька версія Claude працювала над однією з класичних задач аналітичної теорії чисел (гіпотеза Рімана) – оцінкою частки нетривіальних нулів дзета-функції, які лежать на критичній лінії. Попередній рекорд, встановлений математиками десятиліття тому, гарантував близько 41,6%. Claude, за даними компанії, підняв цю планку до 67,2% — витративши на роботу приблизно 36 годин.
Це не доведення гіпотези Рімана і навіть не «дві третини шляху» до нього. Йдеться про кількісний результат іншого типу, і від нього до повного доказу може лишатися дистанція, яку неможливо виміряти відсотками.
Про що взагалі гіпотеза Рімана
Гіпотеза Рімана
Німецький математик Бернгард Ріман сформулював її у 1859 році — тобто задачі вже 167 років. Вона стосується дзета-функції: Ріман припустив, що всі її нетривіальні нулі мають дійсну частину рівно ½, тобто лежать на одній вертикальній прямій — критичній лінії.
Чому це важливо:
- Прості числа. Розташування нулів дзета-функції безпосередньо керує тим, наскільки рівномірно прості числа розподілені серед натуральних. Доведення гіпотези дало б найточнішу з можливих оцінок цієї «похибки».
- Каскад наслідків. Сотні опублікованих теорем сформульовані умовно: «якщо гіпотеза Рімана вірна, то…». Доказ автоматично перетворив би їх на безумовні результати.
- Криптографія та обчислення. Оцінки складності алгоритмів перевірки простоти й факторизації часто спираються на ту саму умову.
- Фізика. Статистика розподілу нулів збігається зі статистикою рівнів енергії у квантових системах — зв’язок, який досі не має пояснення.
- Ціна питання. Це одна з семи «Задач тисячоліття» Інституту Клея з призом у $1 млн.
Дійсна (червона) та уявна (синя) компоненти дзета-функції
Хроніка рекордів: скільки нулів «на своєму місці»
Оскільки довести гіпотезу цілком не вдається, математики століття доводять слабші твердження — що принаймні певна частка нулів лежить там, де передбачав Ріман. Ось як рухалася ця межа:
| Період | Хто/що | Результат |
|---|---|---|
| 1914 | Г. Г. Гарді | Доведено, що на критичній лінії лежить нескінченно багато нулів |
| 1942 | А. Сельберг | Уперше отримано додатну частку (без конкретної великої цифри) |
| 1974 | Н. Левінсон | Приблизно третина всіх нулів |
| 1989 | Дж. Б. Конрі | Понад 40% — результат, що став еталоном на десятиліття |
| 2010-ті | Серія уточнень різних груп | Повільне зростання до ~41,6% |
| 2026 | Claude (Anthropic) | 67,2% (заявлено, потребує перевірки спільнотою) |
Головне, що видно з таблиці: після 1989 року прогрес вимірювався десятими частками відсотка за багато років роботи. Стрибок одразу на понад 25 пунктів — саме тому ця новина й привернула увагу.
Найцікавіше — не результат, а метод
Anthropic описує процес, який мало схожий на «спалах геніальності»:
- Масовий перебір ідей. Модель протестувала близько 650 підходів до покращення оцінки — і всі вони виявилися глухими кутами.
- Оркестрація субагентів. Далі Claude координував роботу приблизно 60 власних субагентів, розподіляючи між ними завдання.
- Розділення ролей. Субагенти виконували обчислення, писали код, проганяли тисячі тестів, перевіряли міркування один одного та опрацьовували наукову літературу.
- Самокритика. Отримавши результат, система свідомо шукала помилки у власних викладках і намагалася відтворити доказ незалежними методами.
- Робота на плечах людей. Нову математику з нуля модель не створювала — вона скомбінувала вже наявні результати математиків, помітивши комбінацію, якої раніше ніхто не використовував.
Anthropic формулює висновок так: перевагою ШІ стала не геніальність, а терпіння в масштабі, недоступному людині — здатність перевірити сотні гіпотез, відкинути сотні хибних шляхів і одразу почати наступну спробу без втоми й розчарування. Галузева розсилка AI Secret додає промовисте порівняння: людина-дослідник у середньому здається приблизно після 30-ї невдалої спроби. Модель не зупинилася й після сотень.
Чому це важливо для оцінки самого ШІ
Донедавна математичні здібності моделей вимірювали переважно тим, чи розв’яжуть вони задачі з відомою відповіддю — олімпіадні набори, бенчмарки, підручникові приклади. Тут же йдеться про відкриту задачу, де правильної відповіді не знає ніхто, а перевірити результат можна лише формальним доведенням. Це якісно інший режим: ШІ виступає не як екзаменований, а як співавтор дослідницької програми.
Що варто тримати в голові
Кілька застережень, без яких новина звучить оптимістичніше, ніж є насправді:
- Заявлений результат походить від самої компанії-розробника; повноцінна незалежна перевірка математичною спільнотою та рецензування — попереду.
- 67,2% не означають «дві третини гіпотези доведено». Навіть 99,9% нулів на критичній лінії не рятують гіпотезу, якщо десь існує бодай один виняток.
- Ключові будівельні блоки — людські. Внесок моделі полягає у виявленні й складанні комбінації, а не у створенні нового математичного апарату.
- Йдеться про експериментальну версію моделі та спеціально організований процес, а не про функцію, доступну звичайним користувачам.
Навіть з усіма застереженнями експеримент виглядає як перший переконливий приклад того, що велика мовна модель може зсунути межу відомого в задачі, над якою десятиліттями працювали найсильніші математики світу. І робить вона це не осяянням, а тим, чого людині завжди бракує найбільше, — невтомною систематичністю.
