cd/entity/Conway's refinement conjecture· home› entities› Conway's refinement conjecture

grep -l @conway's refinement conjecture /news/*.json | wc -l → 1

Conway's refinement conjecture

mentions 1 type Person feed RSS

// recent coverage 1 mentions

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…

// co-occurs with top 5 entities

Dan Abramov 1 John Conway 1 Lean 1 Palomar registry 1 Claude 1

// topics top 3 topics

artificial intelligence 1 large language models 1 ai research 1