Mathematician says AI proved a combinatorics conjecture, now wonders where to share it
tak3sh8 · x · 2026-10-20
A mathematician reports that asking AI to apply a technique from a recent paper yielded a proof of a known-but-not-famous combinatorics conjecture. He doesn't care about authorship since the interesting part (the technique) came from the paper, but now wonders what to do: try to formalize the proof, or is there a repository where people share AI-produced proofs to save the next mathematician hours of prompting?
The post highlights a practical gap in AI for Math: there's no established mechanism for verifying and sharing AI-generated mathematical results.
More from AGI Musings
- Anthropic pledging not to ship Fable 5.5 pre-IPO would be a costly signal, argues Morrison — ShakeelHashim · 2026-10-20
- Compute-as-UBI: what happens when everyone has an agent earning money for them? — flowersslop · 2026-10-20
- Creator with millions of weekly views estimates 20-30% of internet posts are partly or fully AI — Unique_Ad_330 · 2026-10-20
- What's the smallest action you'd trust an AI agent to take? — NecessaryCheck3295 · 2026-10-20
- Carissa Véliz: algorithms are often the hitmen companies send to execute their will to power — CarissaVeliz · 2026-10-20
- UK government advisers warn Britain risks becoming a 'high-value AI customer' — Polymarket · 2026-10-20