Anthropic повідомила, що її невипущена модель досягла прогресу в дослідженні гіпотези Рімана — однієї з найвідоміших нерозв’язаних задач математики. Модель не довела гіпотезу, однак змогла розширити межі, в яких математики підтвердили її справедливість.
Гіпотезу Рімана сформулювали понад 150 років тому. Вона пов’язана з розподілом простих чисел і досі не має загального доведення. За її розв’язання Математичний інститут Клея пропонує винагороду $1 млн.
За даними Anthropic, експеримент розпочав співробітник компанії без спеціалізованої математичної підготовки. Він попросив модель спробувати довести гіпотезу, після чого система самостійно працювала над задачею близько півтора дня.
За цей час модель перевірила 650 підходів, залучила 60 ШІ-агентів і згенерувала загалом 31 млн вихідних токенів. Два агенти сформували ключові математичні ідеї, ще 13 допомагали їх розвивати. 30 агентів шукали інші підходи, 13 перевіряли правильність аргументів, а ще два допомогли підготувати початкову версію наукової роботи.
Двоє математиків Anthropic перевірили отриманий результат. Команда також формалізувала його за допомогою Lean — відкритої системи для машинної перевірки математичних доведень.
Робота Anthropic стала одним із кількох прикладів використання великих мовних моделей у математичних дослідженнях. Протягом 2026 року ШІ-моделі вже застосовували для роботи над задачами угорського математика Пала Ердеша. OpenAI також представила десять математичних результатів своєї внутрішньої моделі Astra, а інша робота Anthropic спростувала давню гіпотезу Якобіана.
Зростання ролі ШІ в математичних дослідженнях водночас спричинило дискусію про авторство таких результатів. У червні група математиків оприлюднила заяву, в якій наголосила, що математичні доведення мають бути пов’язані з конкретними авторами, які беруть на себе відповідальність за їхню правильність.
Математик і лауреат Філдсівської премії Тімоті Гауерс припустив, що поширення ШІ може змінити традиційне ставлення до авторства в математиці. Дискусія стає актуальнішою в міру того, як моделі переходять від відтворення відомих знань до пошуку результатів, яких раніше не було в математичній літературі.
Джерело: TechCrunch
