OpenAI заявила, что ИИ опроверг 30-летнюю гипотезу теоретической информатики

OpenAI 26 октября объявила, что её модель опровергла предположение из теоретической информатики, которое почти 30 лет считалось верным и служило опорой для целого ряда работ. Особенность истории в реакции учёных. Двое исследователей, которые когда-то выдвинули эту гипотезу, не отмахнулись от заявления. Они готовятся собрать коллег и вместе проверить контрпример, который предложил ИИ. По сообщению Jiqizhixin, в тот же день компания заявила и о решении гипотезы Какейи, одной из известных задач геометрической теории меры.

Второй математический удар за короткое время

Обсуждение предыдущей порции результатов ещё не закончилось. Ранее OpenAI показала 22 математические рукописи, и сообщество разбирало их качество, оригинальность и вклад человека в получение итоговых формулировок. Новый анонс разворачивает разговор в другую сторону. Раньше ИИ в основном продвигался там, где нужно перебрать много вариантов или аккуратно довести до конца известную схему доказательства. Теперь речь о заявлении, что модель нашла причину, по которой устоявшаяся гипотеза неверна.

Для теоретической информатики такой жанр особенно чувствителен. Гипотезы вроде этой часто работают как негласные допущения: на них строят условные результаты вида «если верно A, то B». Если A падает, пересматривается целая цепочка выводов, и не все они обязательно рушатся, но каждую придётся проверять заново.

Почему проверять будут сами авторы

Интереснее всего позиция тех, чью гипотезу оспорили. Двое исследователей, которые предложили её около 30 лет назад, организуют проверку вместе с коллегами. Для науки это штатная и самая здоровая реакция: контрпример по природе легче проверить, чем найти. Если он корректен, его можно прогнать вручную, переписать на независимом коде или формализовать в системе автоматической верификации.

Пока это именно заявление компании, а не принятый результат. Статус изменится, когда независимая группа подтвердит построение шаг за шагом, и у математиков здесь нет причин торопиться. Один недавний скандал вокруг ИИ-доказательств уже научил сообщество отличать красивую формулировку от проверенного утверждения.

Что известно на сейчас

• Дата объявления: 26 октября, источник сообщения — Jiqizhixin (机器之心), публикация от 27 октября.
• Предмет заявления: опровержение гипотезы из теоретической информатики, которую широко считали верной почти 30 лет.
• Реакция авторов гипотезы: двое исследователей, предложивших её, готовят совместную проверку с коллегами.
• Второй результат: по сообщению издания, OpenAI заявила и о решении гипотезы Какейи. Она касается множеств, содержащих единичный отрезок в каждом направлении, и утверждает, что такие множества имеют максимальную размерность.
• Контекст: ранее OpenAI представила 22 математические рукописи, дискуссия вокруг которых продолжается.

Как читать такие новости

Если вы работаете с алгоритмами, криптографией или сложностью вычислений, стоит отметить, какие ваши результаты опираются на опровергаемое допущение, и дождаться вердикта независимых проверяющих. Для ИИ-команд сигнал другой. Математика становится полигоном, где модель можно сравнить не по бенчмарку, а по реакции экспертов, готовых проверить каждую строчку. Если контрпример выдержит проверку, у лабораторий появится аргумент, что языковые модели способны находить новое знание, а не только пересказывать известное. Если не выдержит, получится ещё один урок: красивый результат без независимой верификации остаётся пресс-релизом.