Важливі новини щодня — додайте «Експерт» в улюблені джерела Google
Нова модель штучного інтелекту взялася за одну з найвідоміших нерозв’язаних математичних задач, над якою вчені працюють понад 150 років. За півтори доби система перевірила 650 підходів і отримала нові результати, однак повністю довести гіпотезу їй не вдалося.
Експеримент провели в Anthropic. Один зі співробітників компанії, який не мав спеціальної математичної підготовки, поставив ще не випущеній моделі завдання спробувати довести знамениту математичну гіпотезу.
Ця проблема залишається нерозв’язаною понад півтора століття. За її доведення встановлена винагорода в один мільйон доларів.
Після отримання завдання ШІ фактично сам організував подальшу роботу. Експеримент тривав близько 36 годин.
За цей час система випробувала 650 різних математичних ідей та опрацювала 31 мільйон вихідних токенів. До пошуку розв’язання вона залучила 60 окремих субагентів.
Кожен із них отримав свою роль. Два субагенти працювали над основними математичними ідеями, а ще 13 генерували для них можливі напрямки та підходи.
Найбільша група з 30 субагентів намагалася знайти принципово нові концепції, але ці спроби результату не дали.
Ще 13 агентів виконували роль перевіряльників. Вони аналізували отримані результати та шукали можливі помилки у міркуваннях.
Два останні субагенти допомагали оформлювати початковий варіант наукової роботи.
Попри величезний обсяг обчислень, мільйон доларів ШІ не заробив. Повного доведення знаменитої гіпотези система не отримала, проте змогла просунутися в дослідженні та знайти нові результати.
Отримані висновки перевірили два штатні математики Anthropic. Після цього їх додатково формалізували за допомогою Lean — системи інтерактивного доведення теорем.
Експеримент став ще одним прикладом того, як великі мовні моделі починають використовувати для розв’язання складних математичних проблем, а не лише для пошуку вже відомих відповідей.
Останнім часом за допомогою ШІ вдалося просунутися й в інших математичних задачах. Зокрема, алгоритми працювали над кількома проблемами Ердеша, а команда Anthropic повідомляла про спростування відомої гіпотези Якобі.
Водночас використання ШІ в математиці вже спричинило суперечки серед науковців. Частина дослідників побоюється, що такий підхід може розмити поняття особистого авторства та відповідальності за математичні відкриття.
У червні група відомих математиків підписала декларацію, в якій висловила занепокоєння такими змінами.
Іншу позицію займає лауреат Філдсівської премії Тімоті Говерс. Він вважає, що залучення штучного інтелекту здатне змінити математику на краще.
