数学的第四次危机：当AI证明从奥赛走向研究现场

作者提出AI正在引发数学的第四次危机：2026年10月OpenAI在GitHub一次性发布722篇模型生成数学手稿、归为372个结果族，次日撤回3篇、修订14篇；此前5月AI为埃尔德什单位距离猜想造出反例，9月宣称用约一万个智能体、88小时攻纳维—斯托克斯方程。