数学家称借 LLM 之力证明 Catalan 常数无理性

数学家孙智伟在 arXiv 发布 20 页论文，宣称证明了 Catalan 常数 G=1/1²−1/3²+1/5²−… 的无理性，这是一个 19 世纪提出、长期悬而未决的数论难题。消息引发广泛关注，有推文称该证明借助了 LLM 的帮助，若属实将是 LLM 首次在纯数学核心难题上贡献关键突破的标志性案例，不过该重大结果仍有待学界验证。

2026-09-20 ~ 2026-09-21 · 2 条相关

• 数学家称借助 LLM 证明 Catalan 常数是无理数,百年难题告破 — burny_tech · 2026-09-20
• 传 LLM 助力证明 Catalan 常数为无理数，数论重大结果待验证 — IgorCarron · 2026-09-21