Что реально может и чего не может математический совет OpenAI

OpenAI ответила на критику вокруг заявленного результата по уравнениям Навье—Стокса, поддержав новую Консультативную группу по математике и искусственному интеллекту (Advisory Group on Mathematics and Artificial Intelligence). Её принимает Институт перспективных исследований (IAS) в Принстоне — известный независимый исследовательский центр. Формально это создаёт для математиков канал влияния на оценку и обнародование результатов, полученных ИИ. Но группа — не научный журнал, не независимый орган по верификации доказательств и не регулятор исследований OpenAI. 332

Что стало поводом

8 сентября OpenAI опубликовала рукопись объёмом 166 страниц и формализацию в системе Lean. Компания заявила, что доказала возможность возникновения сингулярности за конечное время в гладком трёхмерном течении Навье—Стокса под действием гладкой внешней силы, и представила работу как решение задачи о существовании и гладкости решений уравнений Навье—Стокса. 6

Формализация в Lean даёт машиночитаемый объект, который можно механически проверить; рукопись остаётся изложением аргумента для человека. После публикации сообщалось, что разбор доказательства требует времени. Тогда же OpenAI объявила о новой консультативной группе на фоне вопросов о том, как проверять и распространять крупные математические результаты, созданные ИИ. 2

Отдельно возник спор об авторстве и приоритете. Тристан Бакмастер и Левент Альпёге примерно в тот же период опубликовали проверенные Lean результаты по близким задачам уравнений жидкости; это привело к публичному спору об атрибуции. Этот вопрос отличен от вопроса о том, проходит ли формальное доказательство OpenAI проверку: он касается происхождения идей, доступа к ним и надлежащего академического признания вклада. 1

Кто вошёл в первоначальный состав

В группу вошли девять математиков:

• Франсуа Шарль;
• Камилло де Леллис;
• Тимоти Гауэрс;
• Мартин Хайрер;
• Нихил Шривастава;
• Ульрике Тильманн;
• Рави Вакиль;
• Эдвард Виттен;
• Мелани Матчетт Вуд. 26

Группа размещается в IAS, но описывается как независимая от OpenAI. 33

Что она вправе делать

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

Заявленная независимость закреплена несколькими условиями:

• OpenAI не платит членам группы;
• они могут давать советы, которых компания не запрашивала;
• они могут публично комментировать влияние OpenAI на математику;
• они могут публиковать свои рекомендации;
• состав группы может меняться по решению самих её членов. 33

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

Чего группа сделать не сможет

У неё нет полномочий определять исследовательский курс OpenAI или сроки работы компании. OpenAI прямо заявляет, что группа не будет консультировать по темпам внутренних математических исследований. 332

Следовательно, она не может:

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

Именно это разграничение существенно. Группа может рекомендовать стандарты и публично указывать на проблемы, но контроль над моделями, внутренними процессами, раскрытием материалов и исполнением рекомендаций остаётся у OpenAI. Поэтому её точнее считать мостом между лабораторией ИИ и математическим сообществом, а не заменой независимого рецензирования. 332

Почему вопросы о независимости и представительстве остаются

Устав предоставляет группе заметную свободу говорить и публиковаться, однако реальное значение этой свободы зависит от готовности её членов ею пользоваться и от готовности OpenAI реагировать. Отсутствие влияния на темп исследований особенно заметно на фоне критики быстрых, рассчитанных на широкий резонанс анонсов ИИ-лабораторий. 233

Репутация участников добавляет группе веса. Но девять человек не могут автоматически представлять все позиции: у специалистов по формальным методам, исследователей затронутых областей, молодых математиков и учёных вне институтов, представленных в первом составе, могут быть иные взгляды на экспертизу, доступ к материалам, авторство и нормы публикации. В сообщениях также поднимался вопрос о том, как именно отбирали участников. 37

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

Что это меняет для заявления о Навье—Стоксе

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

Создание консультативной группы не меняет этого разделения труда. Она может советовать, как оценивать и представлять результат; независимым математикам всё равно предстоит изучить рукопись, формальные артефакты, допущения и соотношение сформулированной теоремы с исходной задачей. 332

Точно так же появление группы само по себе не разрешает спор об атрибуции, связанный с Бакмастером. Для убедительного решения нужен основанный на доказательствах процесс, рассматривающий хронологию, вклад участников, доступ к материалам и нормы академического признания, а не просто рекомендация консультативного органа. 1

Проверка на практике: заявление о более чем 100 результатах

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

Группа могла бы сделать этот процесс убедительнее, если бы добивалась такой последовательности публикации, которая допускает настоящую независимую проверку:

1. Точно формулировать каждую задачу. Публичный перечень должен отделять уже установленные теоремы от заявленных решений, обобщений и близких результатов.
2. Публиковать и читаемые доказательства, и формальные материалы. Человеческое изложение объясняет смысл результата, а формальные артефакты позволяют воспроизвести механическую проверку.
3. Привлекать профильных экспертов. Работы по гидродинамике, алгебре, геометрии или логике должны оценивать исследователи соответствующих областей, а не только общий консультативный совет.
4. Документировать происхождение идей и вклад. Ясные записи особенно необходимы там, где возможны споры о приоритете, доступе к моделям или использовании прежней неопубликованной работы.
5. Отделять открытие от валидации. ИИ может предложить перспективное доказательство, но признание сообществом требует открытого разбора и устойчивой научной коммуникации.

Новая группа — заметный эксперимент в управлении взаимодействием ИИ и науки, но не окончательный ответ на спор. Её ценность будет зависеть от того, станут ли рекомендации публичными, предоставит ли OpenAI достаточно материалов для внешней проверки и будут ли в будущих релизах экспертиза и авторство столь же важны, как сам анонс.