105 小时、490 万条消息、3000 亿 token：AI 硬磕出未解数学难题
zainhas · x · 2026-09-09
作者感叹「生逢其时」：现在可以靠堆算力和金钱去解决此前未解、影响深远的数学问题。
他列举了此次证明与验证的惊人开销数字：
- 105 小时完成证明并验证
- 490 万条消息往来
- 3000 亿输出 token
- 推理 token 消耗不计其数
这组数据直观展示了 AI 攻克数学前沿问题所需的资源规模。
所属事件:OpenAI 巨额算力求解 Navier-Stokes 引发抢发与暴力计算争议(26 条相关)→
「研究」频道最新
- LightMTP：轻量潜空间多 token 预测助 LLM 预训练学会提前规划 — gdm3000 · 2026-10-27
- EMNLP 研究：AI 翻译小说读得顺，但质量波动远大于人类译本 — tuvllms · 2026-10-27
- 实验猴荒：中国 3-5 万美元一只，繁育周期 4 年成药物临床前瓶颈 — zebird0 · 2026-10-27
- OpenAI 基金会资助 UNC 肿瘤抗原研究，招聘资深实验科学家 — iskander · 2026-10-27
- 研究者定向干预注意力头：向上提升诚实，向下压制道德虚无 — edelwax · 2026-10-27
- 研究表明神经元足以做电路分析，transcoder 增益有限 — burny_tech · 2026-10-27