OpenAI publishes hundreds of new math results produced by AI
OpenAI released a large set of new mathematical results produced by an internal model, with many proofs written in Lean, a format a computer can check.
October 6, 2026 · Science
OpenAI released a large set of new mathematical results produced by an internal model, with many proofs written in Lean, a format a computer can check. It worked with a mathematics advisory group at the Institute for Advanced Study on how to share them.
Why it matters to you: AI is beginning to add new knowledge, not just explain what people already know.
Source: OpenAI
More from Today in AI
- Canada adds $500 million to help businesses adopt AI · October 13, 2026
- Apple’s smarter Siri comes to Apple TV and HomePod mini · October 13, 2026
- Free Gemini users now get Google’s lightest model · October 9, 2026
- GPT-6 reaches every ChatGPT user, including free accounts · October 7, 2026
- ChatGPT turns class notes into flashcards and quizzes for teens · October 7, 2026
All of Today in AI. Where AI is heading.
Related Power of AI pages
Keep reading with Start here, everyday uses, the tool guide, the writing workshop, and sources and standards.