OpenAI только что опубликовала ещё сотни результатов по важным математическим задачам
Новые результаты, вероятно, усилят разгорающиеся в математическом сообществе споры об ИИ.
OpenAI опубликовала на GitHub сотни решений и результаты работы над 372 важными математическими задачами — всего в подборке 722 рукописи, сообщила компания. Прорывы, достигнутые ещё не выпущенной передовой моделью ChatGPT и подтверждённые новой консультативной группой OpenAI, вероятно, усилят споры вокруг использования ИИ в задаче Навье — Стокса, которые будоражат математическое сообщество.
Этих результатов ждали: в прошлом месяце OpenAI заявила, что её модели решили «более 100 давних открытых задач из большинства областей математики». В рамках публикации OpenAI представила ход рассуждений модели, оценки вычислительных затрат и сведения о количестве задач, которыми она занималась. По словам компании, на «средний результат» требовалось около трёх часов работы с ChatGPT Pro.
OpenAI заявила, что при публикации работ следовала рекомендациям независимой консультативной группы по математике и искусственному интеллекту (AGMAI). Они включали оперативную публикацию результатов в традиционных академических изданиях, а также указание таких сведений, как название использованной модели, промпты и вычислительные затраты.
«В этой публикации мы размещаем результаты в репозитории на GitHub, где предусмотрены правила внесения изменений в работы и их цитирования, — написала компания. — Мы продолжаем изучать и другие варианты размещения материалов на платформах, поддерживаемых научным сообществом и соответствующих рекомендациям комитета. При подготовке будущих публикаций мы намерены повысить качество работ: улучшить цитирование, математическое изложение и представление результатов, чтобы их было легче понять».
Однако некоторые рекомендации совета OpenAI всё же проигнорировала. Компания не указала точное время вычислений для отдельных задач и не раскрыла, какие промпты использовала.
Среди ключевых результатов, о которых заявила OpenAI, — решение четырёхмерной гипотезы Какеи, усовершенствование важных компьютерных алгоритмов и продвижение в работе над чрезвычайно сложной гипотезой Римана. Почти каждая работа была подготовлена в ответ на один-единственный промпт, данный одному ИИ-агенту, рассказала OpenAI Scientific American.
Прежде чем оценить значимость результатов, математикам ещё предстоит их проверить. А после истории с задачей Навье — Стокса (подробнее об этом — здесь) учёные по-прежнему настроены весьма скептически. «Пока модель не опубликована и люди не могут воспроизвести результаты, любые заявления о том, что одна попытка одного агента позволила решить задачу, следует считать неподтверждёнными», — заявил SciAm математик Массачусетского технологического института Эндрю Сазерленд.
