Dimitris 预告明日发布 4 周协作成果:约 100GB『证书』+ 3000 美元 GPU 账单
DimitrisPapail · x · 2026-09-15
Dimitris Papailiopoulos 发推预告一项由 Astra、Sol 与 Fable 参与的 4 周以上协作成果：他自嘲「对理解的用量额度已耗尽、放弃了」，将于明天分享草稿以及约 100GB 的「certificates」（证书/证明文件），并透露自己在项目中只负责提问和 3000 美元的 GPU 开销。这种以可验证证书形式发布的成果暗示是与可验证计算/证明相关的研究，具体内容待发布。
所属事件:三个AI智能体协作四周产出数学新结果，GPU成本仅三千美元(3 条相关)→
「研究」频道最新
- 计算机辅助证明引争论：作者拟公开 100GB 可独立验证文件 — DimitrisPapail · 2026-09-15
- 用数百次 agent 交叉验证替代 Lean,AI 数学证明可信度引争论 — DimitrisPapail · 2026-09-15
- AI 生成上界证明难入 Lean:数值表与不等式难压缩成形式化 — QuangVDao · 2026-09-15
- 两天与 Fable 5.1 共研神经科学:科研能力强但难越已知边界 — generativist · 2026-09-15
- 本周必读论文精选：世界模型与机器人 VLA 成主流方向 — TheTuringPost · 2026-09-15
- BlaBla 开源：可执行项目记忆让 agent 续接成本降 63% — KiborgikDEV · 2026-09-15