📖 AI 总结

菲尔兹奖得主陶哲轩牵头成立“人类数学协会”，联合全球顶尖数学家公开抵制OpenAI。事件起因于OpenAI动用内部模型测试约8000个开放性数学难题，以约5%的命中率产出700多份机器生成的证明文件，其中甚至宣称攻克了“唯一博弈猜想”等顶级难题。数学家们指出，这些文件逻辑混乱、缺乏同行评审，实质是以算力霸权碾压人类学术规范，且OpenAI此前曾无视数学与人工智能咨询小组的明确红线警告。陶哲轩警告，这种“证明消化不良”将造成不可逆的学术污染，年轻学者因惧怕被模型截胡而不敢公开研究方向。图灵奖得主杨立昆则持相反立场，认为数学正迎来形式证明自动化的新时代。这场冲突折射出AI巨头与学术共同体在科研伦理、知识生产方式和学科价值上的深层裂痕。