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 large number of tok…