Intel / blog

The Mathocalypse

Source: scottaaronson.blog
Author: 6bitquant
Date: Published Oct 7, 2026

Why it matters

OpenAI reportedly released 372 results including a claimed Unique Games Conjecture proof, only some with Lean certificates and none yet human-verified. Shows the new bottleneck: humans verifying AI-generated proofs.

Read the source scottaaronson.blog