Topic
Lean Proofs
1 story tagged Lean Proofs, 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