AI攻克世纪数学难题，顶尖数学家抱团抵制，而他们担心的并不是丢了工作

📋总体概括

OpenAI于9月8日宣布，用AI工具花费88小时完成纳维-斯托克斯方程的形式化证明，攻克了克雷数学研究所七大「千禧年大奖难题」之一，该难题悬赏100万美元、困扰数学界近百年。然而三天后，25位菲尔兹奖得主联名发表公开声明《人工智能在数学中的严重错位》，对这一成果表达抵制与担忧。数学家担心的并非饭碗，而是AI大规模机器生成证明对数学研究方式、学术评价体系与学科价值的深层冲击，引发科学界关于AI与人类智力活动边界的新一轮争论。