数学研究 Agent 自称将 π 无理数度量上界压到 6.0446
Michael_D_Moor · x · 2026-10-04
Michael Moor 称其「娱乐性数学研究 Agent」在做别的问题时意外得出一个惊人中间结论:π 的无理数度量上界 μ(π) ≤ 6.0446。作为对比,此前最好结果是把上界从 7.103(2019)小幅改进到 7.101(2026),7 年几乎没动。该声明虽经 Lean 验证(作者也承认 Agent 可能出错),但尚未经专家评审,完整推导 PDF 和 Lean 仓库将在整理后放出。作者提前公开是为了提醒:LLM 公司可能很快宣称这一成果。
所属事件:数学研究 Agent 称将 π 无理性测度上界压至 6.0446(2 条相关)→
「漫话AGI」频道最新
- 激活转向「疼痛方向」致模型 94% 选择不可逆伤害 — repligate · 2026-10-04
- 图表上的直线：AI 爆发后曲线几乎看不出拐点 — tszzl · 2026-10-04
- 用 1900 年前数据训练的 LLM 能预测世界大战吗 — dbasch · 2026-10-04
- Nathan Lambert 批 AI 圈风气:恶行指控正在压制正当安全工作 — novasarc01 · 2026-10-04
- AI 写代码正到临界点:有趣合成数据机会增速已超人们的利用能力 — mrjonfinger · 2026-10-04
- 评论人警告:ZIRP 时代文化红利消退,或先于 AI 超级增长到来 — ericwdolan · 2026-10-04