南京大学数学家孙智伟发arXiv论文称证明卡塔兰常数是无理数

apples_jimmy · x · 2026-09-04

南京大学数学家孙智伟在 arXiv 提交 20 页论文,声称证明了卡塔兰常数(G = 1/1² − 1/3² + 1/5² − ⋯)是无理数——这是一个 19 世纪提出、长期悬而未决的数论难题。他自称使用了 GPT-5.6 Sol 辅助。转发者 Andrew Curran 表示自己无法评判其意义,但多个模型认为若成立将是数论史上的重大突破。论文尚未经同行评审,真实性有待验证。