Yhn CultureCelebrity first seen 1 d ago, last 47 min ago, peak #1

The Four Colour Theorem: when machines first outdid mathematicians

Original: The Four Colour Theorem: The first time machines mogged mathematicians

The Four Colour Theorem — the 1976 computer-assisted proof by Appel and Haken that any map needs only four colours — is being revisited as the first moment a machine settled a mathematical question humans could not, and mathematicians grumbled about it. The retelling frames that controversy as an early preview of today's debates over AI encroaching on intellectual work.

Why now: Debates over AI and automation have renewed interest in the first computer-assisted mathematical proof and the backlash it caused.

Four Colour TheoremKenneth AppelWolfgang HakenPessimists Archive

Open on hn →

Rank over time, top of the chart is #1. 8 snapshots from 4 h ago to 47 min ago.

Evidence

• The Four Colour Theorem: The first time machines mogged mathematicians · list · 85

API: https://socialmediatrends-api.osmike.com/v1/trends/2145144