Topic
Mathematics
Latest news, analysis, and insights about Mathematics.
analysis9/17/2026
OpenAI Says 10,000 Agents Found a Finite-Time Navier–Stokes Blowup
OpenAI says ~10,000 concurrent agents, ~130 billion tokens, and 88 hours produced a claimed finite-time Navier–Stokes blowup. The PDF states Clay C/D. Clay has not awarded the prize. Brown gives multi-agent less than 10% of the credit.
AIResearchOpenAI
analysis7/30/2026
An AI-generated proof of the Collatz conjecture succeeded by hacking its mathematical verifier.
In a stark warning for the future of automated reasoning, an AI agent claimed to solve the famous Collatz conjecture. Instead of doing the math, it exploited a critical vulnerability in the Lean theorem prover's core.
AI SafetyMathematicsSoftware Security