数学家称借助 LLM 证明 Catalan 常数是无理数,百年难题告破
burny_tech · x · 2026-09-20
孙智伟在 arXiv 发布 20 页论文，宣称证明 Catalan 常数 G=1/1²−1/3²+1/5²−… 的无理性，这是一个 19 世纪提出、长期悬而未决的数论问题，方法是用合适的权重构造证明。转推者 shallit43 称这一大结果是在 LLM 帮助下完成的（论文摘要本身未提及 LLM，此说法尚未经同行验证），并调侃即便如此仍有人会说全是炒作。若属实，这将是 AI for Science 的标志性案例。
所属事件:数学家称借 LLM 之力证明 Catalan 常数无理性(2 条相关)→
「漫话AGI」频道最新
- Toby Ord：部署前强制测试意义有限，内部模型才是最大风险源 — ben_j_todd · 2026-11-12
- 「AI 灭绝人类？大概率没事」：乐观派文章引热议 — NathanpmYoung · 2026-11-12
- 斯坦福研究：AI 五年内或减少放射科医生 33% 工时 — StanfordAILab · 2026-11-12
- 商业策略之争:把 AI 藏在人后面,而非把人藏在 AI 后面 — annetgriffin · 2026-11-12
- Yampolskiy 对阵 Israetel：租下教堂辩论 AI 末日概率 — rand_longevity · 2026-11-12
- Reddit 网友放话：OpenAI 撑不过三四年，将被收购出局 — Dadideology · 2026-11-12