费马大定理的形式化证明

多源对照(按时间倒序)

1. 09-05 04:21
   anthropic_blog
   费马大定理的形式化证明
   原文:Formalizing Fermat's Last Theorem
   Anthropic 是一家专注于 AI 安全与研究的公司，致力于构建可靠、可解释且可控的 AI 系统。
2. 09-03 21:45
   cnbc_top_news
   Anthropic蒸馏战转向暗网，中国担忧加剧
   原文:Anthropic's distillation battle turns to the dark web as China concerns swell
   外国对手非法访问美国AI系统训练竞品，并以低价出售复制版本。