OpenAI заявила о трех новых ИИ-открытиях: в математике, информатике и квантовой физике

1 час назад 6

Не прошло и месяца после масштабной публикации сотен работ, содержащих, по утверждению OpenAI, решения от ИИ давних математических задач, компания представила еще три значимых открытия — в области математики, информатики и физики. В частности, работы ставят под сомнение устоявшиеся теории в области гармонического анализа и информатики, а также приводят новые доказательства для квантовых теорий поля, включая квантовую хромодинамику (КХД). На этот раз процесс публикации был организован иначе: решение математической задачи обнародовали сразу, чтобы ученые могли самостоятельно проанализировать ее, а для вынесения вердикта по поводу исследований в области информатики и физики были сформированы команды экспертов.

Самые интересные технологические и научные новости выходят в нашем телеграм-канале Хайтек+. Подпишитесь, чтобы быть в курсе.

Одно из доказательств относится к гипотезе о локальном сглаживании — математической задаче в области гармонического анализа, сформулированной Кристофером Согге в 1991 году. Она описывает поведение волн в моменты их концентрации, утверждая, что предельно высокая степень фокусировки не может сохраняться в течение длительного времени. По заявлению OpenAI, модели ИИ доказали эту гипотезу для пространств любой размерности. Вдобавок, полученный результат позволяет решить гипотезу Какеи и гипотезу Стайна об ограничении (restriction conjecture).

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

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

Возглавят процесс проверки этого исследования Рассел Импальяццо и Рамамохан Патури, которые являются авторами гипотезы экспоненциального времени, сообщает IE.

Примечательно, что 26 октября компания Anthropic также опубликовала статью по проблеме гипотезы экспоненциального времени. Модель Claude пришла к аналогичным результатам, что и модель OpenAI. В статье говорится, что основной алгоритм был найден 16 октября — на работу были потрачены 14 млн токенов и она была выполнена без участия человека.

Работа в области физики посвящена математическим основам квантовой теории поля. Модели OpenAI получили доказательства существования взаимодействующих теорий, включающих калибровочные поля и фермионы в четырехмерном пространстве. В число этих теорий входит квантовая хромодинамика (КХД), описывающая сильное взаимодействие между кварками и глюонами.

Затрагивается в этом исследовании и теория Янга — Миллса, ключевой элемент одной из «задач тысячелетия». Она касается математического обоснования существования квантовой теории Янга — Миллса и наличия в ней так называемой «массовой щели».

Экспертная группа физиков под руководством Дэвида Гросса подготовит собственное обоснование, прежде чем будут обнародованы физические результаты, полученные с помощью моделей.

В OpenAI пообещали, что все три исследовательские группы будут работать независимо друг от друга, а участники смогут свободно публиковать полученные ими выводы. Компания также обязалась выделить 5 млн долларов фонду Simons Foundation. Эти средства помогут исследователям организовать научные семинары и конференции для детального изучения представленной работы и оценки ее более широкого научного значения.

В начале сентября OpenAI объявила о решении второй из семи «задач тысячелетия» — уравнений Навье — Стокса, описывающих движение жидкостей и газов. Поиском решений занималась модель ИИ Astra. Поспешная публикация вызвала недовольство в математическом сообществе. Ученые заявляют, что ИИ-компании присваивают труд математиков, а также — в погоне за пиаром — не заинтересованы в долгой и кропотливой верификации своих решений. Вскоре 25 математиков — лауреатов Филдсовской премии — подписали открытое письмо, в котором говорится, что ИИ-лаборатории угрожают их интеллектуальному труду, пытаясь обойти друг друга в решении знаменитых математических задач.

Источник