OpenAI заявила о трех научных прорывах ИИ: математические гипотезы и задачи физики будут еще проверять

OpenAI сообщила о трех результатах, полученных ее внутренними моделями искусственного интеллекта в математике, теоретической информатике и физике. Компания утверждает, что ИИ смог доказать сложные математические утверждения, опровергнуть одну из фундаментальных гипотез теории вычислительной сложности и построить доказательства квантовых теорий поля.

В то же время OpenAI отмечает, что эти результаты пока не следует считать окончательно подтвержденными научными открытиями. Компания называет их "сырыми исследовательскими данными", которые должны независимо изучить, проверить и оценить специалисты.

Какие результаты получил ИИ в математике и теории вычислений

Первый результат касается гипотезы локального сглаживания во всех измерениях. По утверждению OpenAI, ее модель смогла доказать это математическое положение, которое описывает поведение волн во время фокусировки и предполагает, что самая экстремальная концентрация волн не может длиться долго.

Из этого результата также следует решение гипотез Какеи и Стейна во всех измерениях.

ИИ создал доказательство 18 октября, а на следующий день его формализовали с помощью системы Lean. OpenAI опубликовала текстовое изложение работы и отдельное описание формального доказательства GitHub, чтобы другие исследователи могли ознакомиться с материалами и проверить их.

Второй результат касается гипотезы экспоненциального времени – Exponential Time Hypothesis (ETH). Она предполагает, что некоторые задачи в теории вычислительной сложности принципиально невозможно решить гораздо быстрее с помощью известных подходов.

Эту гипотезу используют в сотнях научных работ по обоснованию сложности задач в теории графов, вычислительной биологии, базах данных и других отраслях. OpenAI утверждает, что ее система смогла опровергнуть ETH, после чего результат также формализовался в Lean.

Компания опубликовала текст опровержения гипотезы и описание его формализации на GitHub. Проверкой займется группа под руководством Рассела Импальяццо, Рамамохана Патури и Райана Уильямса. Импальяццо и Патури вместе с Фрэнсисом Зейном сформулировали ETH в 1990-х годах.

OpenAI согласилась обнародовать исходные материалы и профинансировать конференцию, посвященную проверке результата и анализа возможных его последствий.

Если опровержение ETH подтвердится, это не означает, что сложные вычислительные задачи мгновенно станут простыми. Однако ученым придется пересмотреть представление о том, насколько быстрыми могут быть алгоритмы, а также переоценить часть исследований, построенных на предположении о правильности этой гипотезы.

ИИ заявил о результатах в фундаментальной физике

Самое амбициозное заявление OpenAI касается физики. По словам компании, ее модель построила математически строгое доказательство существования определенных четырехмерных квантовых теорий поля, в частности, квантовой хромодинамики и расширения Стандартной модели.

Работа также содержит доказательство существования чистой теории Янга – Миллса. Это одна из семи задач тысячелетия, определенных Институтом Клея. За решение каждой из них предусмотрена премия в размере 1 млн. долларов.

Текстовое доказательство для теории Янга – Миллса модель создала 9 сентября, а для квантовой хромодинамики – 18 сентября. Формализацию первого результата в Lean завершили 16 октября.

В отличие от двух других работ эти материалы пока не опубликовали. Их будет изучать группа ученых под руководством нобелевского лауреата Дэвида Гросса. В нее также вошли Майкл Дуглас, Артур Джаффе, Игорь Клебанов и Никита Некрасов.

Сначала исследователи должны проверить заявленные результаты и подготовить понятное научное изложение, которое позволит оценить их значение.

В OpenAI отмечают, что наличие доказательства в Lean само по себе не означает автоматического признания научного открытия. Система проверяет логические шаги формально записанного утверждения, но ученым еще предстоит убедиться, что формализация точно соответствует заявленной задаче, не содержит некорректных предположений и подтверждает выводы компании.

Предыдущие заявления OpenAI уже вызвали дискуссии

В начале октября OpenAI опубликовала 722 математических работы, созданных ее невыпущенной моделью искусственного интеллекта. Часть этих исследований не имела формальной проверки и могла содержать ошибки.

Предварительное заявление компании о решении задачи Навье — Стокса также повлекло за собой спор. Дискуссии касались использованных методов и возможного нарушения норм академического сотрудничества.

В этот раз OpenAI привлекла независимые группы ученых к проверке результатов и заявила, что не будет претендовать на авторство будущих академических публикаций.

Кроме того, компания выделила 5 млн долларов Фонду Саймонса. Средства будут направлены на конференции, семинары и другие программы, которые помогут ученым проверять и осмысливать исследования, созданные с помощью искусственного интеллекта.

Напомним, OpenAI начала развертывать GPT-6 в ChatGPT для пользователей всех тарифных планов. Главной новацией стала функция Intelligent UI, благодаря которой чатбот может соответствовать не только тексту, но и создавать интерактивные интерфейсы в зависимости от запроса.

Apple подала в суд на OpenAI из-за вероятного похищения коммерческих тайн iPhone