LINKED LIST [txt mode] ▸ How I Vibed a Proof of Conway’s Conje...

home explore | log in

How I Vibed a Proof of Conway’s Conjecture — overreacted

overreacted.io · first added by @lenaw · 2026-10-01 · 2 upvotes

log in to save, upvote or flag this.

─── In 0 lists ─────────────────────────────────────────

(not in any lists yet)

─── Discussions ────────────────────────────────────────

* I vibed a proof of Conway's conjecture

271 pts · 297 comments · node

─── From the discussion ────────────────────────────────

* conway-refinement/ConwayRefinement/Standalone/Mathlib/InlineConwayRefinement.lean at 264445c93b78554c408e99e4e7f663693b4e91ab · gaearon/conway-refinement

github.com · node

* conway-refinement/ConwayRefinement/Standalone/CombinatorialGames/ConwayRefinement.lean at 264445c93b78554c408e99e4e7f663693b4e91ab · gaearon/conway-refinement

github.com · node

doi.org · node

* Conway’s refinement conjecture for omnific integers — Lean proof guide

gaearon.github.io · node

* GitHub - gaearon/conway-refinement: A proof of Conway's refinement conjecture in Lean

github.com · node