OpenAI создала независимый совет математиков после сотни решённых открытых задач

OpenAI 21 сентября объявила о создании консультативной группы по математике и искусственному интеллекту. Поводом стал внутренний прогресс: модель, обучение которой началось 28 августа, решила более 100 давних открытых задач в большинстве разделов математики. В компании пишут, что темп этого прогресса удивил её собственных математиков.

В группу вошли девять человек: Франсуа Шарль (ENS-PSL), Камилло Де Лелис (IAS, GSSI), Тимоти Гауэрс (Коллеж де Франс, Кембридж), Мартин Хайрер (EPFL, Imperial College London), Нихил Шривастава (Беркли, Simons Institute), Ульрике Тильманн (Оксфорд, INI), Рави Вакил (Стэнфорд), Эдвард Виттен (IAS) и Мелани Мэтчетт Вуд (Гарвард). Работает группа при Институте перспективных исследований. Она будет оценивать значимость новых результатов, советовать, как координировать их публикацию, и следить за соблюдением академических стандартов. Денег от OpenAI участники не получают, могут публиковать незапрошенные советы и менять состав по своему усмотрению. На темпы внутренних исследований компании группа влиять не будет.

Ранее, 8 сентября, OpenAI сообщила о решении задачи Навье–Стокса из списка Millennium Prize: доказательство образования сингулярности с формализацией в Lean. Агенты пришли к результату 5 сентября, примерно через 88 часов после запуска. В группе, нашедшей решение, было порядка 10 000 параллельных агентов, израсходовавших около 130 млрд выходных токенов.

11 сентября 27 математиков, среди них лауреаты Филдсовской премии, опубликовали декларацию «A Severe Misalignment of AI in Mathematics» о вреде гонки за решением открытых задач как бенчмарком. В OpenAI называют эту критику одной из причин начать диалог с математическим сообществом.