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

В подборку входят основные доказательства открытых задач, их следствия, дополнительные результаты и альтернативные доказательства.

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

OpenAI подсчитала, что на один результат в среднем уходил объём вычислений, сопоставимый с тремя часами размышлений ChatGPT Pro. Сама модель готовится к релизу, но сроки не называют.

https://openai.com/index/sharing-ai-progress-in-mathematics/