数学家 Kevin Buzzard 谈 AI 证明定理：悲伤反应与乐观立场

数学家 Kevin Buzzard 撰文回应 AI 在数学领域快速证明难题引发的分歧，梳理数学界的否认、愤怒、妥协和沮丧四类反应，并说明自己为何保持乐观。他引用 Association for Human Mathematics、Peter Scholze、数学与 AI 顾问小组及 OpenAI 持有内部模型产生的重要数学结果等案例，认为把数学的价值仅归结为人类理解存在风险。