#formalizes

Anthropic 的 Claude 在 11 天内形式化了费马大定理

Anthropic 的人工智能模型 Claude 在短短 11 天内自动形式化了费马大定理，实现了数学计算领域的里程碑。市场定价表明参与者认为这一发展支持了 Anthropic 的模型成为竞争性领导者。市场的反应，尤其是“2026 年 9 月最佳人工智能模型”类别的反应至关重要，因为当前的定价表明人