10 个 Claude 智能体用 Lean 15 小时证出七电子 Thomson 问题
aran_nayebi · x · 2026-09-29
ValsAI 让十个 Claude Sonnet 5.5 智能体使用 Lean 定理证明器,证明球面上七个电子的最低能量排布(Thomson 问题,N=7)。15 小时内,它们产出一份 17,895 行的形式化证明,被 Lean 内核接受,结论是五角双锥(pentagonal bipyramid)构型。
所属事件:10 个 Claude 智能体 15 小时证出百年 Thomson 难题(3 条相关)→
「模型」频道最新
- 同一 SQL 分析任务，Sonnet 比 Haiku 贵约 12 倍 — sh_reya · 2026-11-16
- 72 天六卷本:用 Claude 模型写就的「模型退役解剖」文学项目 — repligate · 2026-11-16
- Thinking Machines 发布 Inkling 2 Small:4 卡跑 38 万并发 KV cache — LiTianleli · 2026-11-16
- 爆料称 GPT-6.2-Astra 现身 Google Cloud 控制台,发布临近 — scaling01 · 2026-11-16
- 爆料称 OpenAI 安全封控训练中,Anthropic 预计 2027 年 3 月实现 RSI — imjustnewatai · 2026-11-16
- 读 Fable 5.2 系统提示后网友猜测：Claude 的神经质源于「N+1 条规则」式约束 — repligate · 2026-11-16