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

菲尔兹奖得主陶哲轩牵头人类数学协会（AHM）发布联合声明，全面抵制OpenAI，敦促数学家停止与其合作。起因是OpenAI发布700多份机器生成的数学证明文件，动用内部模型测试约8000个开放数学问题，命中率约5%。声明指责其无视数学与人工智能咨询小组（AGMAI）的红线警告，缺乏同行评审与人类可读逻辑；图灵奖得主杨立昆则持相反态度，认为形式证明自动化将开启数学新时代。