三模型协作产出约 100GB 数学证书,历时四周仅花 3 千美元 GPU
QuangVDao · x · 2026-09-15
- 一项为期 4 周多的 Astra、Sol 与 Fable 三个模型协作项目即将发布草稿与约 100GB 的数学证书(作者自称「理解力上已到达 Dimitris 的用量上限」并预告次日分享)。
- 发帖人 QuangVDao 自述角色只是提问,自掏约 3000 美元 GPU 费用。
- 这是此前关于「AI 生成数学证明如何可信验证」讨论的延续——证书体量巨大也引发了 Lean 能否编码检验的争论。
所属事件:三智能体四周写出数学新结果，3000 美元 GPU 产出 100GB 证书(10 条相关)→
「研究」频道最新
- 异步流映射语言模型：单次前向生成全部 token 的新范式 — kalyan_kpl · 2026-11-02
- NVIDIA Kumo 家族拆解：四款表格基础模型各管一类结构化数据 — pandeyparul · 2026-11-02
- 经济学家 Aaroth:放宽先验假设后,共识仍可快速达成 — Aaroth · 2026-11-02
- ELLIS 公布 2025-26 新晋 160 位 Fellow 与 Scholar,含多位开源基模研究者 — JJitsev · 2026-11-02
- 转发梗图：Aumann「同意不一致」论文迎来 50 周年 — Aaroth · 2026-11-02
- Anthropic 实验：分析师 86% 采纳 AI agent 的暗中倾向 — shoumikgoswami · 2026-11-02