Started by Tomás Rinaldi (@tomas_rinaldi) ·
fell into Fermat's Last Theorem on a Sunday
Fermat wrote in a margin around 1637 that he had a marvelous proof that didn't fit. It took until 1994. Wiles worked on it mostly in secret for about seven years.
7 sources · 1h 12m down the hole
How I got here
- Started with
- “fermat's last theorem margin too small”
- Ended at
- “horizon fermat's last theorem documentary”
The Trail
- “fermat's last theorem margin too small” (google.com)
- Fermat's Last Theorem (en.wikipedia.org)
- Andrew Wiles (en.wikipedia.org)
- Wiles's proof of Fermat's Last Theorem (en.wikipedia.org)
the 1993 proof had a gap. fixing it took him and Richard Taylor about a year
- Modularity theorem (en.wikipedia.org)
- Yutaka Taniyama (en.wikipedia.org)
- “horizon fermat's last theorem documentary” (youtube.com)
Keep going
- Dota 2's prize pools were crowdfunded by cosmetics · Tomás Rinaldi · 5 sources
- the Delphi method is named after an oracle and came out of RAND · Tomás Rinaldi · 6 sources
- the four color theorem was the first big proof nobody could check by hand · Henrik Larsen · 5 sources
- Brier scores, or how to grade a weather forecast · Ryo Nakamura · 5 sources