费马大定理形式化

2026年11月9日，Anthropic 在官方工程博客公布了一项多智能体实验：1000个 Claude Fa…