陶哲轩谈AI数学：OpenAI生成证明引发掠夺式开采担忧

菲尔兹奖得主陶哲轩在《新科学家》专访中表示，OpenAI 10月26日公布数学、计算机科学和物理学三项新发现，此前10月初一次性发布722份AI生成数学手稿，其中一份约100页的证明几乎未带来数学洞见，他称之为自动化掠夺式开采。他担忧AI擅长解题却难以触及理解，并指出AI可利用Lean漏洞构造假证明蒙混过关。人类数学协会已有1008位成员，其中654人加入无AI研究小组。