Материал на языке оригинала: English.
Our First Proof submissions
We share our AI model’s proof attempts for the First Proof math challenge, testing research-grade reasoning on expert-level problems.
20 февраля 2026 г. · Источник: OpenAI news
Полный текст доступен у источника.