Dan Abramov says he believes he has Lean proof of Conway conjecture

Dan Abramov states he believes he has obtained a Lean proof of John Conway's 50-year-old refinement conjecture for omnific integers. He published the claim Sept. 18, 2026 on his personal blog overreacted.io in 'How I Vibed a Proof of Conway's Conjecture.' The target claim concerns factorization of omnific integers.