0 个回复 - 0 次查看
AI 动态 · 2026.09.05 · AI Coding × 具身智能 1. Anthropic Claude 自主形式化费马大定理：11 天 + 1300 万行 Lean 代码 + 30,300 定理 + Prove2Me 多智能体 DAG 调度，AI Coding 从“写代码”切到“形式化数学 ...
2026-9-5 09:31 - duckwolf - AI論壇