这条热榜话题里其实混着两件事，得分开看：一件是还没通过同行评审的研究事件——OpenAI一口气放出722篇AI生成的数学手稿，已有3篇因符号错误被撤回；另一件是已经发生的判断——AI正以接近零的边际成本供给“标准答案”，直接冲击两门靠数学吃饭的职业。教培老师和数据分析师的饭碗，不取决于那722篇手稿能否通过评审，而取决于已经在产线上运转的AI批改、取数和报表工具。被干废的不是数学，是“把会做题当稀缺技能”这门生意。
先把事实核准：722 篇手稿到底说了什么
10月6日，OpenAI把一个尚未发布的内部模型产出的722篇数学手稿一次性放上了GitHub，手稿被归入372个成果族，覆盖数论、几何、理论计算机、数学物理等17个方向，清单上挂着准黎曼猜想、唯一游戏猜想、四维挂谷等著名难题——而所有这些“解决”，目前都出自OpenAI一方的表述。截至10月7日的最新版本，仓库保留了719篇手稿，约42%的主要结论完成了Lean形式化验证，另有3篇因符号错误被撤回、14篇被修订。机器之心DeepTech深科技
不同统计口径下形式化比例在四成到六成之间，但真正该盯住的是另一组事实：传播度最高的几项成果，眼下还只能算“声称”。数学界的不满也不指向“机器能不能证定理”，而指向发布方式：发布前不到一个月，陶哲轩与另外24位菲尔兹奖得主联名公开信，警告AI公司正让数学研究偏离原本目标；10月7日，他又在个人博客转载了“人类数学协会”（AHM）呼吁数学家停止与OpenAI合作的声明，声明里被引用最多的一句话是——一次性发布700多份文件，展示的不是学术研究，而是权力。把这一天称为“Mathocalypse”的理论计算机科学家阿伦森，转述了深耕唯一游戏猜想领域的妻子的判断：那篇论文晦涩到必须借AI辅助才能勉强读下去。机器生成证明的速度远快过人类理解的速度，数学家可能被迫退化成专职校对员——这才是愤怒底下真正的焦虑。机器之心微博DeepTech深科技
真正为“AI数学能力”提供受控证据的，反而是另一条线：陶哲轩在国际数学家大会报告里援引独立评估项目First Proof，其第二批测试用2026年5月底前公开的模型，10道从未公开的研究级问题中有7道至少获得一套AI系统给出的合格解答，单题算力成本约数十至数百美元。他反复强调的是：正被考验的不是数学真理的基础，而是数学的价值与实践规范——什么算贡献，什么算真正理解。10月10日他在加州理工的《Math2.0》演讲把这点说得更直白：人与AI协同能抬高数学的边界和效率，但盲目用AI，问题结了，答案未必合用。知乎微博
传到教培和数据分析这两碗饭上的路径，并不经过千禧年难题
教培老师和数据分析师吃的不是“前沿解题”这碗饭。小红书10月7日那条1042赞、523条评论的“数学教授彻底失业”热帖下，一条高赞评论说得干脆：干掉的是数学家，不是数学老师。但威胁不需要等AI去解高考题，它已经以工具形态进入了交付链——做校区生意的AI批改产品，把矛头直接对准老师最耗时的环节：批大题。小红书小红书
岗位形态也在重排：已有教培店主公开发帖招聘“伴学师”这样的新岗位，干过的人把这活儿的重心归结为管学习状态而不是讲题。需要泼冷水的是另一面：刷到“托管转型AI自习室、增收翻倍、轻松躺赚”的招商帖时最好清醒，发帖的很多根本不是真实开店的从业者，而是品牌方。小红书小红书
数据分析侧，取数、做表、基础周报月报正是大模型的舒适区。从业者圈子里流传的分化框架是：AI加速的不是取代人，而是区分人——执行型岗位贬值，判断型岗位升值。新名目随之出现，有转行数分的求职者晒出两家13-14k的AI数据分析岗面试；另一面是入行门槛整体抬高，过去会点Excel、SQL就能找到活干，如今一个职位投几百份简历已很常见。知乎小红书知乎
边界也要划清：目前没有可核验的权威就业统计显示“数学相关岗位总量塌陷”，上面这些仍是个案与社区信号。证据允许的最强结论是：执行型技能的溢价正在被压缩，职业本身还没有消失。
被重新定价的是标准答案，稀缺的是理解、判断和信任
3Blue1Brown创始人Grant Sanderson在陶哲轩博客上的客座文章，给两个行业指明了同一条转型逻辑：解题和生成证明从来只是数学的代理指标，AI生成的每一个证明，天生就是一个未解决的阐释问题——过去稀缺的是会做题，往后稀缺的是会解释、会判断、会担责。对教培从业者，路径不是和AI比讲题，而是把备课、批改、运营交给工具，把时间挪到AI不提供的东西上：学习动机、一对一反馈、家长信任；对数据分析师，路径是离开“SQL写得溜”的执行席，坐到“定义问题、解读数据、对结论负责”的判断席——AI能生成报告，不能替人担责。36氪
接下来值得盯的是两个信号：722篇手稿里已形式化的结果能否在数月内通过同行评审，这将决定“能力冲击”是否坐实；以及教培和数据分析的招聘要求里，还写不写“取数快、讲题好”这类执行型描述。数学没有被AI干废，它只是迎来了标准答案无限供给之后的重新定价——人还剩下什么，什么就涨回什么价钱。
