OpenAI опубликовала 722 математические рукописи, созданные ИИ, вызвав и похвалу, и возражения

OpenAI опубликовала 722 математические рукописи, созданные неопубликованной внутренней моделью ИИ и сгруппированные в 372 результата в области теории чисел, алгебраической геометрии, дифференциальных уравнений, математической логики и других областях. Chosun Ilbo, Asia Economy и Newsis сообщили, что публикация состоялась 6 октября по местному времени; Korea Economic Daily со ссылкой на OpenAI и Wall Street Journal назвало день, предшествовавший 8 октября. Рукописи были опубликованы на GitHub. OpenAI заявила, что дала модели около 4000 задач и что на каждый результат в среднем уходили вычислительные ресурсы, равные примерно трём часам рассуждений ChatGPT Pro. Newsis отметило, что 722 рукописи не означают решения 722 отдельных задач. [ 1 , 2 , 3 , 4 ]

Самый обсуждаемый результат касается «квази-гипотезы Римана» — ослабленной формы гипотезы Римана. Korea Economic Daily сообщило, что рукопись не доказывает саму гипотезу Римана, но заявляет о расширении области, в которой отсутствуют нули дзета-функции Римана и L-функций Дирихле. Алекс Конторович, профессор Рутгерского университета, написал в X, что, если бы это сделал человек, он немедленно получил бы медаль Филдса. Korea Economic Daily сообщило, что публикация включает продвижение, связанное с тремя нерешёнными задачами тысячелетия, которые сами решены не были. Chosun Ilbo сообщило, что ранее, в августе, OpenAI объявила о результатах по 10 задачам, а в сентябре заявила о решении более 100 давних задач. [ 1 , 2 ]

Многие рукописи включают формальную проверку на языке Lean, но не все, и OpenAI заявила, что непроверенные рукописи могут содержать ошибки. Ом Сан Иль (엄상일) из Института фундаментальных наук сказал Asia Economy, что примерно у 42 % приложена формализация в Lean. Asia Economy сообщило, что, по словам OpenAI, по состоянию на 14:20 8 октября компания отозвала три результата и пересмотрела или дополнила около десятка доказательств. Пэк Хён Рёль (백형렬) из KAIST заявил, что в публикации есть несколько задач, которые в его области он назвал бы задачами уровня медали Филдса, и что влияние будет очень большим, если основные результаты подтвердятся, но прочитанные им рукописи трудно понять. [ 1 , 3 , 4 ]

Публикация вызвала критику. Независимая консультативная группа по математике и ИИ, созданная по предложению OpenAI, заявила 6 октября, что будущее математических исследований не должно сводиться только к осмыслению результатов, полученных компаниями в сфере ИИ, сообщило Chosun Ilbo. Объединение математиков, созданное в прошлом месяце, AHM (인간을 위한 수학협회), заявило 7 октября, что одновременная публикация более 700 файлов — демонстрация силы, и призвало математиков прекратить сотрудничество с OpenAI. В прошлом месяце 25 лауреатов медали Филдса, включая Теренса Тао, Петера Шольце и Джун Хо, выступили с совместным заявлением, в котором раскритиковали компании в сфере ИИ за использование математических задач в качестве эталонных тестов производительности. Nature сообщил 7 октября, что математики отреагировали и удивлением, и резким неприятием, пишет Newsis. [ 2 , 4 ]

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