Yhn CultureCelebrity first seen 22 h ago, last 34 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 claim that any map needs only four colours — was famously proven in 1976 with the help of a computer, a first for machine-assisted proof. A new retrospective examines the controversy it sparked, as mathematicians debated whether a proof too long for humans to verify by hand could count as real proof, and why that debate still resonates in the age of AI.
Why now: Ongoing debates about AI and machine-generated knowledge have renewed interest in the first computer-assisted mathematical proof.
Four Colour TheoremKenneth AppelWolfgang HakenPessimists Archive
Rank over time, top of the chart is #1. 60 snapshots from 22 h ago to 34 min ago.
Evidence
API: https://socialmediatrends-api.osmike.com/v1/trends/2145144