Более 100 фундаментальных открытий за месяц: OpenAI создала независимый совет математиков

Вскоре после решения «задачи тысячелетия» — уравнения Навье-Стокса — компания OpenAI объявила о создании независимой Консультативной группы по вопросам математики и искусственного интеллекта после того, как её новая внутренняя модель, по утверждению компании, решила более 100 давних нерешенных математических задач. В состав совета вошли девять математиков из Гарварда, Стэнфорда, Оксфорда и других ведущих научных учреждений. Группа будет консультировать компанию по вопросам оценки и обнародования новых математических результатов, но будет работать независимо от OpenAI.

Новая модель OpenAI

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

«Математика — фундаментальная наука, а новые открытия могут найти широкое применение. Это делает потенциал таких возможностей значительным, а их ответственную разработку и внедрение — важными не только для самой математики», — подчеркнули в компании.

Почему создали независимый совет

Поводом для этого послужило открытое письмо математиков под названием «Серьезное несоответствие целей ИИ в математике». В нем авторы выразили обеспокоенность использованием решения открытых задач в качестве критерия оценки новых систем ИИ.

Изначально OpenAI предложила создать внешний консультативный совет, однако приглашенные ученые решили сформировать независимую группу при Институте перспективных исследований (Institute for Advanced Study). По данным Института, она будет действовать без финансирования со стороны компании, сможет самостоятельно публиковать рекомендации и комментировать влияние ИИ на математику без согласования с OpenAI.

Какие задачи будет выполнять группа

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

• Франсуа Шарль (ENS-PSL);
• Камилло Де Леллис (IAS, GSSI);
• Тимоти Гауэрс (Collège de France, Кембридж);
• Мартин Гайрер (EPFL, Имперский колледж Лондона);
• Никхил Шривастава (Беркли, Институт Саймонса);
• Ульрике Тиллманн (Оксфорд, INI);
• Рави Вакил (Стэнфорд);
• Эдвард Виттен (IAS);
• Мелани Матчетт Вуд (Гарвард).

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

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