費馬大定理形式化

2026年11月9日，Anthropic 在官方工程博客公佈了一項多智能體實驗：1000個 Claude Fa…