三模型协作产出约 100GB 数学证书,历时四周仅花 3 千美元 GPU
QuangVDao · x · 2026-09-15
- 一项为期 4 周多的 Astra、Sol 与 Fable 三个模型协作项目即将发布草稿与约 100GB 的数学证书(作者自称「理解力上已到达 Dimitris 的用量上限」并预告次日分享)。
- 发帖人 QuangVDao 自述角色只是提问,自掏约 3000 美元 GPU 费用。
- 这是此前关于「AI 生成数学证明如何可信验证」讨论的延续——证书体量巨大也引发了 Lean 能否编码检验的争论。
所属事件:AI 智能体协作四周产出数学新成果，3000 美元 GPU 费引热议(10 条相关)→
「研究」频道最新
- 用 RL 训 Kimi 基座模型设计变压器： unseen 规格达标率 93% — simonguozirui · 2026-09-15
- 铃木健联合任天堂创业家族在京都设立人工生命研究机构 ALife Institute — Hidenori8Tanaka · 2026-09-15
- 开源 GNSS 工具库 libgnss++:借日本 CLAS 校正实现厘米级定位 — rsasaki0109 · 2026-09-15
- OpenResearch 登顶 GitHub 热榜:把 Claude Code 变成科研智能体 — TheMoonMidas · 2026-09-15
- 斯坦福 SISL 新论文:无观测似然模型下的不确定性规划 — StanfordAILab · 2026-09-15
- Jarvis Bench 把语音评测拆成两问：真人盲测揭示模型自然度短板 — rohanpaul_ai · 2026-09-15