#数学家仍对AI不服气##菲尔兹奖得主陶哲轩发声抵制OpenAI#

很多人用“数学家不服AI、向OpenAI宣战”概括这次风波，但这件事的内核，并不是否定AI做数学的能力。陶哲轩本身一直在主动使用AI辅助研究，他这次转载人类数学协会AHM的声明，反对的是另一件事：商业公司把前沿数学难题，当成大模型秀肌肉的跑分工具。

导火索是OpenAI一次性放出七百多份AI生成的数学证明材料，其中包含大量前沿命题的推导。在商业视角里，这是亮眼的技术成果；但在数学家看来，数学不只是拿到一个“正确结论”。传统的数学突破，伴随漫长的同行研讨、证明简化、思路拆解、教学传播，新结论要被人类理解、消化，才能长出新问题、新方向。而AI批量产出的证明，很容易陷入“结论对，但没人看懂、没法吸收”的证明消化不良。

AHM的那句批评一针见血：一次性抛出数百份证明文件，展示的不是学术研究，而是算力权力。陶哲轩和一众顶尖学者担心，如果这套逻辑成为主流，数学研究就会被异化，变成比拼解题速度、解题数量的竞赛，牺牲掉思考、沟通、理解本身。他们呼吁同行减少和OpenAI这类项目合作，本质是守住数学研究的底层范式。

这不是人类和AI的对抗，是两种科研价值观的碰撞：AI追求答案与效率，数学共同体追求可理解的认知增量。AI可以是数学家的助手，但不应该用算力洪流，冲垮延续百年的学术生态。未来真正理想的形态，不是AI单方面批量输出证明，而是人机协作，让机器辅助探索，由人完成理解、沉淀与传承。

#老张聊科技# http://t.cn/AXlL7BEM