Yhn CultureCelebrity first seen 1 d ago, last 15 min ago, peak #1
Four Colour Theorem: when a computer first beat mathematicians
Original: The Four Colour Theorem: The first time machines mogged mathematicians
A new essay revisits the Four Colour Theorem, proved in 1976 with heavy computer assistance by Kenneth Appel and Wolfgang Haken at the University of Illinois — the first major mathematical result no human could fully verify by hand. It frames the episode as an early controversy over machine-assisted proof and machine scepticism toward experts, drawing comparisons to today's debates about AI.
Why now: Debates over AI doing work once reserved for human experts are making people revisit this landmark moment of machines outperforming mathematicians
Kenneth AppelWolfgang HakenFour Colour TheoremUniversity of Illinois
Rank over time, top of the chart is #1. 65 snapshots from 1 d ago to 15 min ago.
Evidence
API: https://socialmediatrends-api.osmike.com/v1/trends/2145144