一次生成 1000 行 Bend 代码:三体模拟 60FPS 且附 4 条形式化证明
sprooos · x · 2026-10-02
- 有人让 Fable 5.5 一次性生成三体问题的实时模拟,产出约 1000 行 Bend 语言代码:物理计算跑 CPU,每一帧的每个像素由 GPU 计算,在 Apple M5 上以 1280×720 达到 60 FPS。
- 更惊人的是程序附带 4 条「被形式化证明」(而非仅测试)的定律,代码已开源在 GitHub(AdrielSantana/three-bodies)。
- 仓库含 8 种天体运动场景,支持 Metal(macOS)与 CUDA(Linux),可用 --gpu off / --threads 参数对比 CPU 并行表现;需 Bend 2.0.34+ 与 clang 19+。
- 发帖人因此造了个新缩写 PEBCAM(problem exists between chair and model),调侃问题出在人和模型之间——模型能力已超预期,瓶颈在使用者。
「编程与Agent」频道最新
- Arena.ai 发布 HarnessTax:编码 Agent 的 harness 到底影响多大 — solyarisoftware · 2026-10-02
- 伯克利论文：LLM 记得你的新指令却仍用旧选择 — rohanpaul_ai · 2026-10-02
- 1565 封邮件实测:Perplexity 与 Cloudflare 决策模型比拼 — michellechen · 2026-10-02
- Codex 用 FreeCAD MCP 逐级模拟 JWST 遮阳板展开全过程 — burhop · 2026-10-02
- 模型权重不动，Harness 自进化：Terminal-Bench 成绩 47.57 升至 52.43 — jiqizhixin · 2026-10-02
- 实测 OpenAI Dots：主动式 AI 管家新范式，但延迟高 UX 未成熟 — cedric_chee · 2026-10-02