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

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

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

Новая группа OpenAI будет в основном заниматься оценкой значимости новых результатов и координировать их публикацию. Члены группы не будут получать оплату, зато смогут давать советы, публично высказывать свое мнение и сами контролировать свой состав, что дает им определенную независимость от компании. Однако группе не позволят замедлять или перенаправлять текущие математические исследования OpenAI. Как сказано в заявлении, «группа не будет давать нам рекомендации относительно темпов нашего внутреннего прогресса в области математики».

В состав группы уже вошли девять видных математиков, сообщает TechCrunch. Примечательно, что лишь один из них — Камилло Де Лелис из IAS — также подписал письмо филдсовских лауреатов.

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