Три заявления, один экстраординарный скачок
OpenAI утверждает, что их модели ИИ совершили три научных прорыва: один в математике, один в информатике и один в физике. Согласно отчету Дэна Робертса о сотрудничестве с академическими сообществами, это не просто сложные ответы на известные проблемы, а предполагаемые открытия.
Компания предлагает простое описание этих результатов: выводы, касающиеся волнового поведения, фундаментальных пределов вычислений и математических основ квантовой теории поля. Это отдельные исследовательские заявления, а не единый комплексный прорыв.
В математике работа затрагивает давние гипотезы в гармоническом анализе, включая Sogge’s Local Smoothing и гипотезу Какеи. В информатике ИИ якобы опроверг гипотезу экспоненциального времени (ETH) — широко принятое убеждение о вычислительной сложности. Физическое утверждение включает строгие доказательства существования взаимодействующих 4D квантовых теорий поля, связанных с проблемой премии тысячелетия о существовании теории Янга-Миллса.
OpenAI опубликовала часть математических работ для изучения, формализованных с помощью Lean theorem prover, инструмента для проверки математических доказательств. Физические материалы проходят проверку перед публичным выпуском. Важно отличать объявление OpenAI от независимо установленного научного консенсуса.
Заявление в области информатики, бросающее вызов 25-летнему допущению
Заявление в области информатики напрямую бросает вызов Exponential Time Hypothesis (ETH) — фундаментальной гипотезе, утверждающей, что определенные трудноразрешимые задачи, такие как 3-SAT, не имеют субекспоненциальных решений по времени. Предложенная в 1999 году Расселом Импальяццо и Моханом Патури, ETH лежит в основе сотен результатов о условной сложности в теоретической информатике, влияя на наше понимание вычислительных пределов, не являясь при этом доказанной теоремой.
Модели OpenAI, как сообщается, обнаружили алгоритм для классической комбинаторной задачи, который работает быстрее, чем ожидалось, потенциально опровергая ETH. Это не означает, что все сложные задачи теперь имеют практические «короткие пути» или что любую задачу планирования можно мгновенно оптимизировать; скорее, это предполагает фундаментальное улучшение теоретических нижних границ для определенного класса задач.
Этот прорыв не является доказательством того, что P = NP, и не угрожает современной криптографии. Работа, формализованная с помощью Lean theorem prover, проходит тщательную внешнюю проверку. Ryan Williams из MIT, а также авторы ETH Импальяццо и Патури входят в число видных исследователей, изучающих выводы OpenAI, что подчеркивает значимость этого потенциального сдвига парадигмы.
От распространения волн до сильного взаимодействия
Математическое утверждение касается гармонического анализа, изучения волн. В частности, оно рассматривает, как волны распространяются и концентрируются — вопросы, центральные для локального сглаживания и гипотезы Какеи. OpenAI утверждает, что их модели предоставили доказательство результата локального сглаживания для всех пространственных измерений. Это заявление о фундаментальном математическом понимании, а не немедленное обновление для повседневных технологий, таких как телефоны или МРТ-сканеры.
Физическое утверждение углубляется в quantum chromodynamics (QCD) — теорию, описывающую сильное взаимодействие, которое удерживает кварки внутри протонов и нейтронов. OpenAI заявляет, что ее модели получили строгое доказательство существования для взаимодействующей квантовой теории поля, связанной с теорией Янга-Миллса. Это значительный теоретический шаг в понимании математических основ сил, управляющих материей.
Важно отметить, что проблема тысячелетия Янга-Миллса также требует доказательства наличия mass-gap — условия, демонстрирующего, что квантовые частицы, связанные с сильным взаимодействием, имеют ненулевую минимальную массу. OpenAI не заявляла о решении этой полной проблемы тысячелетия. Рукопись по физике, подробно описывающая эту работу, еще не была публично представлена для широкого ознакомления и экспертной оценки. Более подробную информацию о подходе OpenAI к открытому научному сотрудничеству можно найти в их публикации: Working with academic communities to build scientific understanding.
Нравится статья? Получайте такие каждое утро на почту.
одно письмо в день · отписка в два клика · без сторонних трекеров
Настоящим прорывом может стать исследовательский цикл
Этот новый рабочий процесс фундаментально меняет ставки в научных открытиях. Модели ИИ теперь могут предлагать нестандартные подходы, искать решения в обширных цепочках рассуждений и использовать инструменты формальной верификации, такие как Lean, для проверки этапов доказательства. Хотя Lean строго проверяет логику формализованного аргумента, он не может гарантировать, что формальное утверждение точно отражает предполагаемое математическое суждение.
Долгосрочные последствия таких возможностей могут быть трансформационными. Более совершенные алгоритмы, полученные в результате этих открытий, со временем могут помочь в оптимизации в различных областях: от chip design и логистики до передового научного моделирования. Однако любое реальное влияние зависит от независимой проверки, обширных последующих исследований и практической реализации, выходящей за рамки теоретических доказательств.
Если они будут независимо подтверждены, даже один из этих результатов станет значимым. Три подтвержденных прорыва будут означать серьезный сдвиг в парадигме AI-assisted science. Главный вопрос не в том, звучит ли заявление OpenAI исторически, а в том, смогут ли сторонние эксперты воспроизвести и строго проверить эти доказательства.
Часто задаваемые вопросы
О каких трех открытиях заявила ИИ-система OpenAI?
OpenAI сообщила о результатах в гармоническом анализе, вычислительной сложности и математической физике, включая заявленное опровержение гипотезы экспоненциального времени (Exponential Time Hypothesis).
Проверили ли независимые эксперты эти заявления?
Пока нет. Доказательства и результаты исследований требуют тщательного изучения специалистами; формальная проверка сама по себе не устанавливает, что формализация соответствует предполагаемой теореме.
Решила ли OpenAI проблему тысячелетия Янга-Миллса?
Нет. Описанная работа касается результата о существовании, а не требования о наличии mass-gap для полной проблемы, и OpenAI не заявляла о решении задачи на миллион долларов.
Взламывает ли это утверждение из области информатики шифрование?
Никаких немедленных последствий для безопасности нет. Заявленный результат — это не P = NP, и его значение и обоснованность требуют экспертной оценки, прежде чем можно будет оценить практические последствия.