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