Илон Маск сообщил в социальной сети X, что Grok 4.5 «только что решил» задачу теории графов, которая оставалась открытой около трех десятилетий.
Речь идет о Graffiti Conjecture 284 — одной из гипотез, сформулированных системой Graffiti, созданной в 1980-х годах математиком Семёном (Симоном) Файтловичем (Siemion Fajtlowicz). Эта программа автоматически генерировала математические гипотезы в области теории графов, многие из которых впоследствии стали предметом научных исследований.
Согласно опубликованному объяснению разработчиков, агент Capy, работающий на модели Grok 4.5 Medium, во время обсуждения в Slack менее чем за десять минут обнаружил контрпример, который нарушает утверждение гипотезы.
Контрпримером стал граф Хоффмана — Синглтона
В качестве контрпримера был использован граф Хоффмана — Синглтона — известный объект теории графов с 50 вершинами, степенью 7, обхватом 5 и диаметром 2.
Согласно опубликованной схеме, именно этот граф не удовлетворяет неравенству, сформулированному в Graffiti Conjecture 284. Если математическое обоснование подтвердится, это будет означать, что гипотеза является ложной.
На опубликованном изображении показано, что значение двойственной минимальной степени (δ*) для графа Хоффмана — Синглтона превышает величину, ограниченную гипотезой, тем самым нарушая ее.
Возможности ИИ расширяют горизонты науки
Хотя опровержение отдельной гипотезы само по себе не является революцией, этот случай демонстрирует растущие возможности современных ИИ-систем в области фундаментальной науки.
В отличие от большинства задач, связанных с генерацией текста или программного кода, проверка математических гипотез требует анализа сложных структур, поиска контрпримеров и строгих логических выводов.
Если результаты будут подтверждены независимыми исследователями, это станет одним из наиболее заметных примеров использования генеративного ИИ в математических исследованиях.
Пока информация основана на заявлениях Илона Маска и разработчиков проекта. На момент публикации независимого подтверждения результата в рецензируемых научных источниках представлено не было.
