Маск сообщил, что Grok опроверг математическую гипотезу 30-летней давности
Ассистент на базе Grok 4.5 опроверг гипотезу теории графов, остававшуюся открытой около 30 лет. Об этом написал глава компании xAI Илон Маск на своей странице в X.
Речь идет о Graffiti Conjecture 284, известной также как WOW-284 и гипотеза Ушича-Хансена 7.16. Контрпримером стал граф Хоффмана-Синглтона.
Как рассказал автор исходной публикации, пользователь под ником justin, задачу решил ИИ-агент Capy, работающий на модели Grok 4.5 Medium. Все происходило в рабочем чате Slack: участники поделились там записью об открытой гипотезе, после чего агент нашел опровержение за восемь минут.
Пост Маска за два часа набрал более миллиона просмотров.
Grok 4.5 just solved a graph theory conjecture that has been open for ~30 years https://t.co/aQmu1ldij1
— Elon Musk (@elonmusk) July 23, 2026
Не единственный случай
В тот же день о похожих результатах сообщила команда ИИ-агента Devin компании Cognition. По их данным, агент опроверг Graffiti Conjecture 154, открытую около 40 лет, доказал гипотезы Graffiti 39 и 40 и опроверг задачу Брандта о регулярном надграфе из списка открытых проблем Уэста.
Методику разработчики описали так: агенту показали исходную публикацию и предложили найти похожие задачи и решить их.
Реакция пользователей разделилась. Одни называют происходящее началом новой эпохи, другие считают заявления преувеличенными.
Что такое гипотезы Graffiti
Это утверждения, сгенерированные компьютерной программой Graffiti, которую математик Зигфрид Файтлович создал в 1984 году. Программа ищет в базе известных графов закономерности между их характеристиками и предлагает уцелевшие соотношения как гипотезы. Всего программа выдала более 700 таких утверждений.
Опровергать их с помощью компьютера начали давно. Еще в 1990-х годах исследователи проверили около 200 гипотез Graffiti на всех графах с десятью и менее вершинами и нашли контрпримеры более чем к 40 из них.
В 2024 году вышла работа, авторы которой с помощью поисковых алгоритмов за секунды опровергли 12 из 13 уже известных гипотез, а также закрыли гипотезу 197, остававшуюся открытой.
Независимого подтверждения новых результатов от математического сообщества пока нет.