2026-05-21 / Signal #1

OpenAI internal model autonomously disproves 80-year-old Erdos unit distance conjecture

“An OpenAI model just killed a math problem Erdos posed in 1946 in one shot, and human mathematicians say the proof is elegant and real.”

9.0Weirdness

Why It Matters

AI moves from tool to autonomous discoverer, forging unexpected connections between geometry and algebraic number theory; changes institutions of mathematical proof and what "original research" means.

Evidence

Source evidence is in the linked daily scan.

Caveat

Needs careful wording around "autonomous"; cite OpenAI and mathematician validation rather than implying peer-review finality.

Signal Read

Novelty: 10Receipts: 10Story voltage: 9Heat: 9

Source Trail

Daily scan: 2026-05-21

  • No public source URL captured yet.