2026-05-22 / Signal #3

OpenAI general reasoning model autonomously disproves Erdos 1946 unit distance conjecture

“An AI just killed an 80-year geometry myth using math fields most humans never touch.”

8.8Weirdness

Why It Matters

AI now doing pure mathematical discovery on obscure human math terrain, changing science institutions and the "who discovers what" identity question with a concrete proof artifact.

Evidence

Official OpenAI blog (May 20, 2026); model found infinite family of configurations using advanced algebraic number theory (class field towers, Golod-Shafarevich) on number fields, externally verified; first major open math problem solved this way without domain-specific scaffolding.

Signal Read

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

Source Trail

Daily scan: 2026-05-22

  • No public source URL captured yet.