Blogs from overreacted.io
How I Vibed a Proof of Conway’s Conjecture — overreacted
- Type
- Blogs
- Website
- overreacted.io
- Listed
- 20 September 2026
How I Vibed a Proof of Conway’s Conjecture September 18, 2026 Pay what you likeA few months ago, AI math results started making headlines. “Do a breakthrough” became a Twitter meme. Naturally, I became curious whether I, too, a math noob, can find some open mathematical problem and then have a frontier model solve it. It took me an entire month of my free time and a boatload of tokens, but I believe I’ve obtained a Lean proof of this conjecture posed by John Conway 50 years ago: Conway’s refinem