Topic
AI Math Research
2 stories tagged AI Math Research, 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