I Vibed a Proof of Conway's Conjecture
A developer claims Claude produced a Lean-formalized proof of Conway's 50-year-old refinement conjecture about omnific integers.
2
1 stories, newest first · one card per story
A developer claims Claude produced a Lean-formalized proof of Conway's 50-year-old refinement conjecture about omnific integers.
Today 1.6K readers · 2.5K views · 792 reads · all time 189K views