cd/entity/John Conway· home› entities› John Conway
grep -l @john conway /news/*.json | wc -l → 1

John Conway

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 Lean 1 Palomar registry 1 Claude 1 Conway's refinement conjecture 1
// topics top 3 topics
artificial intelligence 1 large language models 1 ai research 1