陶哲轩牵头人类数学协会（AHM）联合声明抵制 OpenAI

菲尔兹奖得主陶哲轩牵头人类数学协会（AHM）发布联合声明，敦促全球数学家停止与 OpenAI 合作，并呼吁公众对其发布模式保持怀疑。声明指责 OpenAI 无视数学与人工智能咨询小组（AGMAI）关于不应在内部模型上擅自测试高深数学难题的红线警告，用内部模型测试约 8000 个开放数学问题、命中率约 5%，并发布 700 多份机器生成证明草稿。图灵奖得主杨立昆则公开表示，数学正迎来形式证明大幅自动化的新时代。