Topic
lean
2 articles
AI Is Proving Math Faster Than People Can Check It. Who Decides What Counts as Solved?
OpenAI's 2026 math claims range from a checked result to an unreviewed pile. Here is what they mean for mathematicians and for how we trust new knowledge.
OpenAI Posts 722 AI-Written Math Papers. Three Were Pulled the Next Day.
OpenAI released hundreds of math results made by an unreleased model. A sign error led to three withdrawals, and many proofs are still unchecked.
