Stanford Tech Review
San Jose PG&E Energy Pact Data Centers Power Shift
Opinion

San Jose PG&E Energy Pact Data Centers Power Shift

Explore a data-driven take on the significant San Jose PG&E energy pact for data centers and its vital implications for grid reliability and future growth.

By Editorial Desk · September 7, 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