2周前·IEEE Spectrum
AI解决重大未解数学问题引发学界争议IEEE Spectrum报道AI系统成功解决了千禧年大奖难题级别的重大数学问题。但部分数学家对AI生成证明的可验证性和'理解'深度提出质疑，引发了关于数学研究本质的深刻讨论。原文发表于2026年10月6日。
AI 资讯
每日精选 AI 行业动态，点开标题可直达原文出处。
每日精选 AI 行业动态，点开标题可直达原文出处。
IEEE Spectrum报道AI系统成功解决了千禧年大奖难题级别的重大数学问题。但部分数学家对AI生成证明的可验证性和'理解'深度提出质疑，引发了关于数学研究本质的深刻讨论。原文发表于2026年10月6日。
据Nature于2026年9月8日报道，Anthropic的AI系统在短短11天内完成了对费马大定理的形式化证明——这是数学史上最著名的难题之一。该成果发表于Nature，展示了AI在数学推理和形式化验证方面的惊人能力，标志着AI辅助数学研究的里程碑。
据 Nature Biotechnology 于 8 月 26 日发表，Aureka 在国际 AI 抗体设计竞赛 AIntibody 中获胜，AI 设计的抗体超越了实验最佳结果，展示了 AI 在生物医药领域的突破性应用潜力。
伦敦神经外科医生团队成功完成全球首例AI辅助脑肿瘤切除手术，AI系统在术中提供实时导航和决策支持，标志着AI在精准医疗手术领域的重大突破（据The Guardian报道，2026年8月27日）。
2026年8月15日，据华尔街日报报道。研究人员通过鼓励AI系统进行数学推理，使黎曼猜想等著名数学难题取得了实质性进展。Anthropic和OpenAI的模型均参与了这一突破性研究，标志着AI在纯数学领域的应用达到新高度。
据 Tom's Hardware 8月9日报道，一个 AI 系统在学习了 9 万亿核苷酸的 DNA 模式后，从零创造了 16 种自然界从未存在过的病毒，专家警告此类应用远超前于必要的安全防护措施。