korrents

korrents · piece

How I Vibed a Proof of Conway’s Conjecture

Dan Abramov · 18 Sept 2026

Read the piece on overreacted.io ↗

2 korrents from this piece ↓

Dan Abramov did not write this page.

Every claim below was made in this piece, quoted word for word and numbered in the order the piece makes them, so you can read it there rather than take our word for it. The sentence above each quote is our reading of the claim, not their wording. Each quote was checked against a stored copy of the page at build time; where the two differ, the quote is the fact.

  1. I needed to back it up with Lean before laying more bricks on top of existing bricks, and I definitely needed to verify things with Lean before making any novel mathematical claims.
  2. I could not trust the model to evaluate which results were interesting.

Keep reading