14:36
2026-09-18
overreacted.io
artificial-intelligence
I Vibed a Proof of Conway's Conjecture
Software developer Dan Abramov published a Lean proof of Conway's refinement conjecture, an open problem in surreal numbers posed by John Conway 50 years ago, after spending a month of free time and a…