Topic
Formal Proof Verification
1 story tagged Formal Proof Verification, 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