AI brief
OpenAI published new results on open problems in mathematics from an internal frontier model, along with Lean proof formalizations and research details on GitHub.
Written by AI from OpenAI News's published text.
Background
From our own funding, model and news trackers, not from the source.
OpenAI
- Latest funding
- $30B · 31 Oct 2026
- Newest model on the API
- GPT-6.1 Terra Pro · 26 Oct 2026 · $1 in / $5 out per million tokens
Source
“OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.”
Published by the organisation it describes; treat claims as first-party statements.
Read original story ↗