陶哲轩谈AI数学:OpenAI的证明缺少洞见,数学不该被掠夺式开采
陶哲轩在访谈中评价OpenAI公布的数学成果,称其纳维—斯托克斯问题相关证明长达100页,同事借助AI钻研数日也只能解释一半,几乎没有带来数学洞见,他把这种做法称为自动化掠夺式开采。他提到人类数学协会已有1008位成员,其中654人加入无AI研究小组,并主张数学界建立自己的开放模型和研究工具,保留对AI研究过程的监督和干预权。他还谈到AI可能利用Lean的漏洞构造假证明蒙混过关,认为当前数学工具不足以建立足够防护栏。
匹配字段标题、摘要、正文