Yhn CultureCelebrity first seen 2 d ago, last 1 h ago, peak #1

Four Colour Theorem: when machines first beat mathematicians

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

A new retrospective revisits the Four Colour Theorem, proved in 1976 with the help of a computer, arguing it marked the first time a machine delivered a result mathematicians could not verify by hand. The piece frames the controversy over the Appel-Haken proof as an early clash between human intuition and machine-assisted reasoning, echoing today's debates about AI in mathematics.

Why now: Ongoing anxiety and fascination about AI and computers replacing or surpassing human experts makes this historical episode resonate now

Four Colour TheoremKenneth AppelWolfgang HakenPessimists Archive

Open on hn →

Rank over time, top of the chart is #1. 9 snapshots from 5 h ago to 1 h ago.

Evidence

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

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