Компания OpenAI опубликовала на GitHub 372 математических результата, полученных с помощью внутренней модели ИИ. В подборку вошли решения открытых задач, улучшения алгоритмов и наработки по гипотезе Римана. Разработчики решили использовать репозиторий вместо рецензируемых журналов, чтобы ускорить распространение данных.
Большинство результатов получено по одному запросу к ИИ-агенту, при этом средние затраты вычислительных мощностей составили около трех часов работы ChatGPT Pro Thinking. Это контрастирует с решением задачи Навье-Стокса, для которого потребовалось 10 000 агентов и миллионы долларов на вычисления.
Для проверки логической корректности OpenAI добавила формализацию на языке Lean. Компания также раскрыла методологию, статистику попыток и оценки затрат на вычисления. OpenAI планирует финансировать семинары и конференции, чтобы помочь научному сообществу работать с результатами, сгенерированными нейросетями.
OpenAI консультировалась с Консультативной группой по математике и ИИ, в которую входит лауреат Филдсовской премии Тимоти Гауэрс. При этом компания ограничила влияние экспертов на скорость и методы генерации. Инициатива вызвала дискуссию: 25 лауреатов Филдсовской премии предупредили о рисках подмены глубокого концептуального понимания массовым производством утверждений.
