环球速览

  • 打印
  • 收藏
收藏成功
微博 QQ空间 微信

AI推动数学领域变革

美国《科学新闻》2026年5月

AI正推动数学领域迎来变革。伦敦帝国理工学院纯数学教授凯文·巴扎德将费马大定理的证明转化为代码，用计算机逐步验证，AI与定理证明器结合能自动校验证明、排查漏洞，消除数学模型中的模糊与错误。目前，已有学者借助该技术完成开普勒猜想的形式化验证。但大模型在数学领域仍存在准确率缺陷，这场变革在提升效率的同时，也引发了关于改变传统研究模式的争议。（剩余1072字）

试读结束

目录
monitor