10 个 Claude 智能体 15 小时证出百年 Thomson 难题

ValsAI 的 Hung Tran 让 10 个 Claude Sonnet 5.5 智能体在最大算力投入下，仅提供两个 Lean 定理陈述和九个探索方向，自主研究 15 小时，产出 17895 行 Lean 证明，解决了悬置 122 年的 Thomson 问题 N=7——即球面上七个电子的最低能量排布，该问题可追溯至 1904 年。这一成果展示了多智能体协作在形式化数学证明中的能力。

2026-09-29 ~ 2026-09-30 · 3 条相关

• 10 个 Claude 智能体用 Lean 15 小时证出七电子 Thomson 问题 — aran_nayebi · 2026-09-29
• 10 个 Sonnet 5.5 智能体自主研究 15 小时，产出 17895 行数学证明 — 141_1337 · 2026-09-30
• 10个Claude通宵15小时,1.8万行Lean证明122年汤姆逊难题 — 新智元 · 2026-09-30