surreal numbers
AssessTechniques
A mathematical number system introduced by John Conway that includes real and ordinal numbers.
Why it's here
Placed in Assess: 1 article(s) of evidence from 1 source(s), led by research-stage coverage, with 1 in the last 30 days. Confidence 24%. Low accumulated evidence, so it defaults conservatively pending more signal.
Evidence (1)
- 7Hacker News·9/18/2026researchAI-assisted proof of Conway's refinement conjecture
A Hacker News post describes how the author used a frontier AI model and Lean to produce a proof of Conway’s refinement conjecture in surreal number theory. The proof has passed mechanical checks in the Palomar registry, but it has not yet been independently verified by mathematicians.