Материал на языке оригинала: English.
Sharing AI progress in mathematics
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
6 октября 2026 г. · Источник: OpenAI news
Полный текст доступен у источника.