陶哲轩牵头人类数学协会发布联合声明抵制OpenAI

菲尔兹奖得主陶哲轩牵头人类数学协会（AHM）发布联合声明，公开抵制OpenAI并敦促所有数学家停止与其合作。事件起因于OpenAI利用内部模型测试约8000个开放性数学问题后，集中发布了700多份机器生成的证明手稿，被数学界指责逻辑混乱、缺乏同行评审且违背此前设立的咨询小组规范。对此，图灵奖得主杨立昆持有不同观点，认为形式证明的自动化将促使数学重点转向发展新概念与新猜想。