OpenAI выпускает масштабные AI-сгенерированные математические исследования, вызывая восторг и обеспокоенность среди математиков

Image: The Verge · Source

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

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

Многие математики сообщили изданию The Verge, что масштаб и объём материалов поражают, описывая это как «чистое безумие» и подчёркивая, что полное освоение и проверка содержания может занять годы. Коллекция включает формализованные доказательства, написанные в Lean — программном обеспечении для помощи в доказательствах, способном вычислительно подтверждать корректность. Однако OpenAI открыто признаёт, что формализации подверглись лишь около 42% рукописей, а качество и строгость проверок сильно различаются по всему корпусу.

Несмотря на это, существует широкий консенсус, что в публикации содержатся действительно впечатляющие результаты, некоторые из которых касаются давно открытых задач, высоко оценённых в математическом сообществе. Математик из Стэнфорда Джаред Дюкер Лихтман отметил несколько значимых достижений, включая прогресс по известной гипотезе Римана, случаям гипотезы Ходжа и решению четырёхмерной гипотезы Какея. Это серьёзные вызовы, которые десятилетиями оставались нерешёнными и входят в число самых престижных в математике.

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

OpenAI пытается ответственно взаимодействовать с математическим сообществом, сотрудничая с Advisory Group on Mathematics and Artificial Intelligence (AGMAI) и обещая проводить семинары и регулярные обновления. Также введены протоколы по исправлению статей и цитированию, некоторые статьи были удалены после публикации из-за обнаруженных ошибок. Однако конкретные модели AI или использованные подсказки не раскрываются, а многие формализации ещё в процессе подготовки.

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