Глава xAI Илон Маск сообщил, что ИИ-модель Grok 4.5 Medium смогла найти контрпример к одной из известных открытых задач теории графов всего за восемь минут. Если результат подтвердится независимыми математиками, это станет еще одним показательным примером того, как современные ИИ-системы начинают решать фундаментальные научные задачи, передает Tech-news.
Илон Маск рассказал в X, что ИИ-агент Capy, работающий на базе Grok 4.5 Medium, опроверг математическую гипотезу Graffiti Conjecture 284 (также известную как WOW-284 или гипотеза Ушича—Хансена 7.16), которая оставалась нерешенной около трех десятилетий.
По словам автора публикации под ником justin, все произошло во время обсуждения в рабочем Slack-чате. Участники поделились ссылкой на открытую проблему, после чего агент самостоятельно проанализировал задачу и менее чем за десять минут нашел контрпример. Им оказался граф Хоффмана—Синглтона, который нарушает условия гипотезы.
Сообщение Маска быстро стало вирусным, набрав более миллиона просмотров всего за несколько часов.
Не только Grok
В тот же день о похожих достижениях сообщила компания Cognition. Ее ИИ-агент Devin также продемонстрировал успехи в области дискретной математики.
По данным разработчиков, Devin:
- опроверг Graffiti Conjecture 154, остававшуюся открытой около 40 лет;
- доказал гипотезы Graffiti 39 и Graffiti 40;
- нашел решение задачи Брандта о регулярном надграфе из списка открытых проблем Уэста.
Разработчики утверждают, что агенту предоставили научную публикацию и предложили самостоятельно найти связанные нерешенные задачи и попытаться их решить.
Что такое гипотезы Graffiti
Серия гипотез Graffiti появилась благодаря одноименной компьютерной программе, созданной математиком Зигфридом Файтловичем в 1984 году. Алгоритм анализировал свойства графов, выявлял закономерности и формулировал новые математические предположения. Всего программа сгенерировала более 700 гипотез.
Часть этих утверждений была опровергнута еще в 1990-х годах при помощи компьютерного перебора графов. Позже, в 2024 году, исследователи с использованием современных поисковых алгоритмов смогли за считанные секунды опровергнуть 12 из 13 известных гипотез и закрыть еще одну открытую задачу — Graffiti Conjecture 197.
При этом заявления о новых результатах Grok и Devin пока не получили независимого подтверждения со стороны математического сообщества. До прохождения экспертной проверки говорить об окончательном решении этих задач преждевременно.
