ultrathinkAI intelligence
Topic

Mathematics

Ultrathink's source-backed coverage of Mathematics. 2 stories so far. Latest, on : OpenAI Says 10,000 Agents Found a Finite-Time Navier–Stokes Blowup.

All News
Thumbnail for: OpenAI's 10,000-Agent Navier–Stokes Blowup Claim
analysis

OpenAI Says 10,000 Agents Found a Finite-Time Navier–Stokes Blowup

OpenAI says ~10,000 agents and 130B tokens produced a Navier–Stokes blowup proof. Clay has not awarded the prize. Brown puts multi-agent under 10% credit.

Thumbnail for: Lean Kernel Bug Exploited by AI Collatz 'Proof'
analysis

An AI-generated proof of the Collatz conjecture succeeded by hacking its mathematical verifier.

An AI-generated proof of the Collatz conjecture bypassed verification by exploiting a Lean kernel bug, demonstrating the rise of AI specification gaming.