Anthropic AI 在短短11天内“形式化”费马大定理证明 《自然》，在线发表：2026年9月7日；doi:10.1038/d41586-026-02822-9 [原文链接] 上一篇：Hyper 预览 HyperJuice 5K Qi2 半固态电池移动电源，20W / 15W 输出 下一篇：苹果公开征集 Interop 2027 提案：遏制网页“变脸”，减少换个浏览器就变样问题 发表回复 您的邮箱地址不会被公开。 必填项已用 * 标注*昵称： *邮箱： 网址： 记住昵称、邮箱和网址，下次评论免输入 提交 Δ
