Topic
GitHub Research
1 story tagged GitHub 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