Report: LLM Helps Prove Catalan's Constant Is Irrational, A Major Number Theory Claim
IgorCarron · x · 2026-09-21
A widely circulated claim says a major result in number theory — that Catalan's constant is irrational — has been proven with the help of an LLM. If confirmed, it would mark a landmark AI-for-math breakthrough on a long-open problem.
Caveat: this is currently an unverified social media report with no paper or authoritative confirmation yet. The original poster uses the news to mock skeptics who dismiss LLMs as hype. Treat the result as provisional until verified.
Related event: Mathematician Claims LLM Helped Prove Catalan's Constant Irrational(2 posts)→
More from Models
- The Zvi opens reaction thread on Gemini 4 Carbon: is it worth extended coverage? — TheZvi · 2026-11-12
- Walden Robotics' Sage model quadruples robot uptime on Toyota factory lines — adnothing · 2026-11-12
- Gemini won't let you keep chat history while opting out of AI training — Google bundles both into one setting — arshdeep · 2026-11-12
- Gemini 4 Carbon Flex tier now costs the same per token as GPT 6.1 Terra — mariofilhoml · 2026-11-12
- Real-world test: Kimi K3.1 Pro costs 5.4x less than Opus 5.5 per task despite 2x list-price gap — Arindam_1729 · 2026-11-12
- Claude Fable 5.2 tops Agent Arena at +30.4%, 1.5x the gain of runner-up Opus 5.5 — daniel_mac8 · 2026-11-12