105 小时、490 万条消息、3000 亿 token：AI 硬磕出未解数学难题
zainhas · x · 2026-09-09
作者感叹「生逢其时」：现在可以靠堆算力和金钱去解决此前未解、影响深远的数学问题。
他列举了此次证明与验证的惊人开销数字：
- 105 小时完成证明并验证
- 490 万条消息往来
- 3000 亿输出 token
- 推理 token 消耗不计其数
这组数据直观展示了 AI 攻克数学前沿问题所需的资源规模。
所属事件:AI 攻克数学难题成本曝光：一周烧掉 2250 万美元(2 条相关)→
「研究」频道最新
- IFM 开源 K2 Horizon 全家桶:6 个尺寸、每模型 20T tokens、连 reward-hacking 审计都公开 — kimmonismus · 2026-09-09
- 开发者上线聚合站，汇集 OpenAI 纳维-斯托克斯证明各方表态 — NathanpmYoung · 2026-09-09
- Astra 自研国际象棋战术引擎文档曝光，可强制或阻止特定结果 — MikePFrank · 2026-09-09
- Anshul Kundaje：基因组学正处于技术突破的黄金期 — anshulkundaje · 2026-09-09
- 斯坦福 Kundaje:ML for Bio 领域该改革同行评议评价体系了 — anshulkundaje · 2026-09-09
- JASPAR 2026 发布大幅扩充,将与 DeepMind 合作统一 DNA motif 库 — anshulkundaje · 2026-09-09