消息提到,OpenAI于2026年9月8日宣布其AI生成了Navier–Stokes存在性与光滑性问题的解答,这是七个千禧年大奖难题之一。该解答是否真实有效,原文未核验。有观点认为,真正解决数学问题不仅需要提供答案,还需要人类数学家能理解并用以推进数学目标的证明。对考虑读研或转岗的人来说,这条动态的价值不在结论,而在提醒:AI与数学交叉方向的工作内容,可能和“训练模型、跑出答案”很不一样。

这个方向可能做什么,不做什么

一种做法是让模型直接输出答案,追求速度和覆盖率;另一种做法是把证明写成形式化代码,让机器逐步检查推理。前一种更接近工程任务,后一种更接近数学写作,需要理解定义、引理和证明结构。但不同团队差异很大:有的偏工具链和数据,有的偏概念与证明。有观点指出,数学远不止解决问题,还包括发展新概念和理论、提出新问题、统一不同领域、教育和维持学术社区。如果这些事让你觉得枯燥,只对AI技术本身感兴趣,那么转岗前要谨慎评估;如果你对其中某些部分有持续兴趣,可以进一步了解。

读研或转岗前,核查哪些信息

第一,目标实验室或团队近两年实际产出的论文和代码。看他们是在做工具实现、形式化已有定理,还是发展新理论。不要只看方向名称,要读具体工作。第二,团队或导师对AI工具的态度。有观点引用Jeremy Avigad的话,认为应将AI视为助手而非竞争者,AI只是技术,旨在服务人类目的。但这只是一种观点,不代表所有团队都这样看。你可以在沟通中问:日常工作中AI扮演什么角色。第三,数学门槛。岗位描述只写“熟悉大模型”,但实际工作要读证明、改定义,那数学训练就是硬门槛;反之,若只是做数据管线,数学要求可能低得多。这些要在面试或邮件中确认,不能从方向名称推断。

怎么判断自己适不适合

可以问自己:我愿意花几周弄懂一个定义,还是更想尽快看到可运行的结果?数学远不止解决问题,还包括发展新概念、提出新问题、统一不同领域、教育和维持学术社区。如果这些事让你觉得枯燥,只对AI技术本身感兴趣,转岗前要谨慎评估;如果对其中某些部分有持续兴趣,可以进一步了解。一个实际可做的小建议:找一篇目标方向近两年的形式化或理论论文,读引言和定义部分,记录自己卡在哪里。如果卡住时仍想弄明白,这个方向可能值得进一步了解;如果只想跳过,也许你更适合偏工程的路径。