OpenAI опровергла 80-летнюю гипотезу — и математики её поддерживают

OpenAI заявила, что её моделью анализа рассуждений опровергнута одна из классических геометрических гипотез, которая оставалась неразрешённой более 80 лет. На этот раз результат получил поддержку от самих математиков, которые раньше разоблачили предыдущие спорные заявления компании. Это значительный шаг в доказательстве того, что AI может генерировать подлинные новые математические открытия.

Какую гипотезу решила reasoning model

На этот раз речь идёт о геометрической гипотезе, которая остаётся открытой с 1946 года — одного из тех классических вопросов в топологии и геометрии, к которым математики возвращались многие десятилетия без успеха. Это не развлекательная головоломка, а серьёзная проблема, интересующая фундаментальную науку. OpenAI использовала свою reasoning model для анализа проблемы. Компания не раскрыла детали математических аспектов решения, но указала, что AI смогла найти логический и доказательный путь, ведущий к опровержению гипотезы. Для AI это нетривиально: нужно не просто перебрать варианты, а выстроить логическую цепь рассуждений, понятную и проверяемую человеком.

Поддержка от авторитетных экспертов

Примечательно, что результат получил валидацию от ведущих математиков — тех самых учёных, которые год назад критиковали OpenAI за неправомерно громкие заявления. Тогда компания анонсировала решение другой задачи, но при внимательной проверке выяснилось, что доказательство содержало ошибку. OpenAI была вынуждена признать неточность. Теперь ситуация иная. Эксперты самостоятельно проверили логику и вычисления reasoning model и признали их верными. Это подтверждение результата научным сообществом, а не просто PR-ход. Для OpenAI это снижает репутационный риск и свидетельствует о возросшей надежности систем AI для решения абстрактных, требующих творчества математических проблем.

Что это значит для науки

Это достижение важно по нескольким причинам: Впервые AI система самостоятельно решила многодесятилетнюю открытую проблему, которую признают ведущие математики Reasoning model можно применять к другим нерешённым гипотезам в геометрии, топологии и чистой математике Доказано, что AI способна генерировать подлинно новое математическое знание, а не просто копировать известные паттерны Компьютерная помощь переходит из категории вспомогательного инструмента в разряд активного участника в открытиях Если результаты подтвердятся и будут опубликованы в ведущих журналах, это переопределит роль AI в фундаментальной науке. От инструмента для проверки уже известных идей AI переходит к генератору новых открытий. Даже если reasoning model не станет полностью независимым исследователем, уже сейчас она может ускорить процесс математического поиска, предлагая новые пути доказательств.