OpenAI 自动化解题引发震动：数学家为何陷入技术悲伤与理解困境

针对 OpenAI 集中发布数百项攻克数论与逻辑长期难题的数学证明，菲尔兹奖得主 Hugo Duminil-Copin 与康奈尔大学数学家 Steven Strogatz 等学者表达了强烈的失落与悲痛。文章指出，科学不仅是寻宝式的求解技艺，更是跨越千年的代际交流，AI 高效产出的机器证明虽能解决猜想，却往往晦涩难解，带来了只有知识而失去人类理解的深层危机。