Long-standing Catalan constant irrationality proof posted, claimed to be LLM-assisted
burny_tech · x · 2026-09-20
Zhi-Wei Sun posted a 20-page arXiv paper claiming to prove the irrationality of Catalan's constant G=1/1²−1/3²+1/5²−…, a problem open since the 19th century, via a suitable-weights construction. Retweeter shallit43 says the result was achieved with LLM help—the abstract itself doesn't mention LLMs and the claim is unverified. If confirmed, it would be a landmark case for AI for Science.
Related event: Mathematician Claims LLM Helped Prove Catalan's Constant Irrational(2 posts)→
More from AGI Musings
- OpenAI, Anthropic and DeepMind job posts signal PMs must write evals and code — aakashgupta · 2026-11-12
- Architecture study sparks monitoring concerns over a multi-hop planning spike — ChowdhuryNeil · 2026-11-12
- PowerShell creator Jeffrey Snover at Ignite: AI revolution is an extinction event for those who don't adapt — dfinke · 2026-11-12
- Worst AI use: signaling you don't care about things you should — Afinetheorem · 2026-11-12
- Stanford HAI blueprint: 56 US agencies report 3,611 AI use cases, evaluation lags — StanfordHAI · 2026-11-12
- Fleuret amplifies debate: AI can't slash wet-lab experiments in unmapped biology — francoisfleuret · 2026-11-12