Stanford Tech Review
Did Claude Solve Navier–Stokes? Inside the Anthropic Rumor
AI

Did Claude Solve Navier–Stokes? Inside the Anthropic Rumor

A viral X prediction said Claude solved Navier-Stokes. We pulled the prediction market's full trade history: it opened at 58.1% and closed the day at 20.1%.

By Daniel Reyes · September 5, 2026

Claude's Fermat's Last Theorem Proof: What Lean Checked
AI

Claude's Fermat's Last Theorem Proof: What Lean Checked

Anthropic's Claude wrote a 13-million-line Lean proof of Fermat's Last Theorem in 11 days. Re-verifying it takes about 22 hours and 300 GB of RAM — and that inversion is the real story.

Priya Raman · September 5, 2026

AI Data Center Guarantee Tracker: Nvidia, Meta, Google
AI

AI Data Center Guarantee Tracker: Nvidia, Meta, Google

A maintained record of disclosed AI data center guarantees: Nvidia's $105B residual value guaranties for OpenAI's Ohio campus, Meta's $41B across two ventures, and Alphabet's $43.8B of credit backstops, each traced to its filing.

Daniel Reyes · August 19, 2026