4 articles · Updated · Lean in the directory →
AI Research ·
A flood of machine-written proofs has turned an academic dispute into a test of who gets to shape scientific progress. The surprising bottleneck may not be whether AI can produce answers, but whether anyone can check and understand them.
AI Research ·
A viral label is racing ahead of the evidence, while mathematicians face a more consequential question: how should AI-generated discoveries be checked? The answer could reshape research long before anyone settles on a model name.
AI Research ·
A four-day sprint, billions of tokens, and a proof checked by software make for a jaw-dropping claim. But the real story may be less about a machine winning a prize—and more about what counts as a mathematical breakthrough.
AI Research ·
OpenAI's new model just solved 10 major math problems, but the real story isn't the answers it found. It's the revolutionary, self-verifying method it used—and what that means for the future of complex problem-solving.
