陶哲轩谈AI与数学：OpenAI抢发证明是掠夺式开采

陶哲轩在《新科学家》专访中表示，OpenAI 用大模型和数百万美元算力抢在数学家之前完成纳维—斯托克斯问题相关证明，产出的100页AI证明几乎没有带来数学洞见，他称之为自动化掠夺式开采。他担忧AI强化了解题这一面却几乎未触及理解，并指出科技巨头陷入必须加速的囚徒困境。10月22日他在《Nature》发文提出Math 2.0构想，主张数学共同体建立自己的开放模型和研究工具。