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辅助数学研究的里程碑。
2026年8月15日，据华尔街日报报道。研究人员通过鼓励AI系统进行数学推理，使黎曼猜想等著名数学难题取得了实质性进展。Anthropic和OpenAI的模型均参与了这一突破性研究，标志着AI在纯数学领域的应用达到新高度。