数学家称借助 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 的标志性案例。
「漫话AGI」频道最新
- Juan Benet 提议用公制前缀给智能分级:人类 1 Brain,人类全加起来约 8 GigaBrain — juanbenet · 2026-09-20
- AI Engineer 演讲:有决策权才是智能软件,人只坐审批岗 — ccerrato147 · 2026-09-20
- 观点：Claude Code 是辅助时代而非自动化时代，RLHF 是根因 — ccerrato147 · 2026-09-20
- 为什么每个 LLM 都需要人审？因为是我们亲手把它放进环里的 — ccerrato147 · 2026-09-20
- “Vibe-coded 的 SaaS 只是更快的 2019 软件”：ChatGPT 联合作者长线程开篇 — ccerrato147 · 2026-09-20
- tszzl:家长逼孩子卷的地位阶梯,AI 时代恐不复存在 — tszzl · 2026-09-20