Mathematician Claims LLM Helped Prove Catalan's Constant Irrational

Mathematician Sun Zhiwei posted a 20-page arXiv paper claiming to prove the irrationality of Catalan's constant, a long-open 19th-century number theory problem, reportedly with help from LLMs. If verified, it would mark the first key breakthrough by LLMs on a core pure math problem.

2026-09-20 ~ 2026-09-21 · 2 related posts

• Long-standing Catalan constant irrationality proof posted, claimed to be LLM-assisted — burny_tech · 2026-09-20
• Report: LLM Helps Prove Catalan's Constant Is Irrational, A Major Number Theory Claim — IgorCarron · 2026-09-21