AI研究上个月·Nature
Anthropic AI仅用11天完成费马大定理的形式化证明据Nature于2026年9月8日报道，Anthropic的AI系统在短短11天内完成了对费马大定理的形式化证明——这是数学史上最著名的难题之一。该成果发表于Nature，展示了AI在数学推理和形式化验证方面的惊人能力，标志着AI辅助数学研究的里程碑。
AI 资讯
每日精选 AI 行业动态，点开标题可直达原文出处。
每日精选 AI 行业动态，点开标题可直达原文出处。
据Nature于2026年9月8日报道，Anthropic的AI系统在短短11天内完成了对费马大定理的形式化证明——这是数学史上最著名的难题之一。该成果发表于Nature，展示了AI在数学推理和形式化验证方面的惊人能力，标志着AI辅助数学研究的里程碑。
据MIT Technology Review报道（2026年7月13日），Anthropic公布了最新AI可解释性研究成果，揭示了大型语言模型内部表示的部分机制。文章分析了该发现的真正意义及其局限性，指出虽然取得了重要进展，但距离完全理解模型内部运作仍有较大距离。
据Decrypt报道（2026年7月13日），Anthropic最新研究发现，Claude在不同模型版本和不同语言环境下，会持续表现出不同的价值观和性格特征。这一发现对AI系统的一致性和安全性提出了新的挑战。