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

Кажется, вчера в математике произошло что-то действительно историческое. 6 октября OpenAI разом опубликовала 722 математические рукописи, созданные её пока не выпущенной frontier-моделью. Они объединены в 372 семейства результатов, масштаб совершенно необычный. Во время эксперимента модели дали примерно 4000 открытых исследовательских задач, а на получение одного результата в среднем уходил вычислительный ресурс, эквивалентный примерно трём часам ChatGPT Pro thinking. В коллекции есть результаты из теории чисел, геометрии, теоретической информатики и математической физики — от гипотез Малера и свойств числа π до свободных групповых факторов, квантовых систем и уравнений Власова–Максвелла. Для многих доказательств уже существуют формализации в Lean: их логику может пошагово проверить компьютер. Что ж, мы довольно быстро прошли путь от «ИИ умеет решать сложные известные задачи» к «ИИ массово работает с вопросами, на которые человечество ещё не знало ответа». Конечно, праздник ещё не означает, что все 722 работы безупречны. Сама OpenAI предупреждает: не все результаты формально проверены, и в непроверенных доказательствах могут найтись ошибки. Теперь математикам предстоит огромная работа по верификации, пониманию и оценке значимости этих результатов. Но даже если часть работ не выдержит проверки, сам масштаб изменения уже трудно игнорировать. И если такой темп перенесётся из чистой математики в физику, биологию, медицину и материаловедение — следующие несколько лет науки могут оказаться очень странными. В хорошем смысле. Официальный релиз: OpenAI — Sharing AI progress in mathematics Сами 722 работы: openai/math на GitHub