Topic
OpenAI Mathematics
3 stories tagged OpenAI Mathematics, newest first.
Oct 6, 2026, 12:00 PMArtificial Intelligence
OpenAI Shares Frontier AI Math Results and Lean Proofs on GitHub
OpenAI published results from an internal frontier model on open math problems, plus Lean proof formalizations and details on GitHub on October 6, 2026.
DateSectionHeadlineSource
Sep 21
Artificial Intelligence
OpenAI Forms Math Advisory Group After Claiming 100-Plus AI Solutions
TechCrunch
Sep 11
Artificial Intelligence
25 Fields Medalists Warn AI Math Race Threatens Credit and Open Research
TechCrunch
▼