OpenAI объявила, что одна из её моделей самостоятельно опровергла центральную гипотезу в дискретной геометрии — нашла контрпример к утверждению, которое учёные не могли ни доказать, ни опровергнуть годами.
Дискретная геометрия — область математики, которая изучает конфигурации точек, отрезков и многоугольников. Она лежит в основе компьютерной графики, криптографии и алгоритмов поиска. Гипотезы в этой области часто формулируются просто, но требуют нетривиальных конструкций для проверки.
Модель не просто вычислила — она нашла конкретный объект, который нарушает условия гипотезы. Это принципиально другое от того, что делали ИИ раньше: раньше модели помогали формализовать доказательства в системах вроде Lean или Coq, проверяли уже написанные людьми аргументы. Здесь математическая идея пришла от модели.
До сих пор граница между «ИИ как инструмент» и «ИИ как автор открытия» была размытой, но удобно не обсуждалась. Теперь она стала предметом конкретного спора.
Математическое сообщество уже проверяет результат. Если он подтвердится, это закроет одну гипотезу — и откроет десятки новых вопросов о том, какие ещё нерешённые проблемы доступны моделям без участия человека.
OpenAI опубликовала подробности на своём сайте.
