login sign up

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

overreacted.io · first added by @lenaw
saved by
2 people
discussions · 1
I vibed a proof of Conway's conjecture 271 pts · 297 comments · Sep 2026 271 pts · 297 comments · Sep 2026
0 people saved or upvoted this
from the discussion · 5
conway-refinement/ConwayRefinement/Standalone/Mathlib/InlineConwayRefinement.lean at 264445c93b78554c408e99e4e7f663693b4e91ab · gaearon/conway-refinement github.com github.com
0 people saved or upvoted this
conway-refinement/ConwayRefinement/Standalone/CombinatorialGames/ConwayRefinement.lean at 264445c93b78554c408e99e4e7f663693b4e91ab · gaearon/conway-refinement github.com github.com
0 people saved or upvoted this
Redirecting doi.org doi.org
0 people saved or upvoted this
Conway’s refinement conjecture for omnific integers — Lean proof guide gaearon.github.io gaearon.github.io
0 people saved or upvoted this
GitHub - gaearon/conway-refinement: A proof of Conway's refinement conjecture in Lean github.com github.com
0 people saved or upvoted this