AI冲击数学界：OpenAI发布700多份数学成果后，数学家为何焦虑

以下是视频口播的自动转写，可能有错字。

哈喽，今天我们来聊一个沉重的话题哈，就是数学领域受到了前所未有的 ai 的冲击。那其实之前我们看到过一张图哈，就是一个水位上升图，就是人工智能的水位正在淹没人类的哪些领域。之前最早被淹没呢，可能是围棋，阿尔法 go 是吧，李世石下棋的时候，然后后来到翻译。

到什么自动驾驶，然后再到一些各个领域吧。然后其实最上面的两个，其实是一个是 art，一个是 science，就是科学和艺术是两个人类的山峰。那这两个山峰可能是我们以前哈认为人工智能不不会那么轻易去淹没的领域。但最近，OpenAI 一次发布了700多份研究成果，那这些成果都是人类数学家苦苦追寻的4000多道命题中的700多道，然后被 ai 提出了解决方案。

那其中呢，也有一部分 ai 给出了形式化证明，就是 lean 证明。什么意思啊？就是用。一种机器逻辑的方式哈，能够严格的去验证这个定理到底有没有被解决。所以这个叫令形式化证明，也就是一般通过了令形式化证明的话，我们大概率可以认为这个定理是被解决了啊。

当然这个前提是你这个令证明写的是比较符合这个定理原来是什么意思的啊。就我拆开这个技术细节哈，但是呢，就是那我们怎么理解这些命题的价值哈？有人做了一个统计，就是如果这700多个命题，呃，去对标现在数学研究问题的难度的话，大概是什么级别的？那包括像世界级难度啊，比如说七大什么世界千禧年命题哈，菲尔兹奖级别，就是王红得奖的那个级别，再到一些重要的这个难题，还有一些顶刊级别的这个难题。

对吧？然后有人说，你只要在右面这个格子里，任何发过的一个这个论文，都可以申请到一个985、211教，这个高校的教授哈。就是说明这个 ai 这次发布的成果还是非常非常的重磅的。但是呢，整个数学家社区就开始了一个激烈的讨论哈。有的人认为这些成果非常厉害，然后可以非常好的去启发我们的数学思想。

有的人认为你们这些 ai 公司就是不负责任，在发布这些结果。为什么呢？因为你发布之后，人数学家还要去消化、吸收、理解到底 ai 讲的对不对？那原来这些命题就是数学研究中的一些灯塔，我们这些数学家就是要向着灯塔进发。在这个过程中，我们会走一些弯路，但是走弯路的过程中，我们就可以发现一些新的东西。

整个数学家就是依靠着向这些难题去冲击，来去形成一个非常好的氛围，包括带学生、包括这个学术的讨论、学术的会议等等。但是今天你一下子把这么多题目全都抛出了，似是而非的解法。那我们数学家还要花时间去去验证它、消化它、吸收它、理解它，那这对我们来说是不负责任的一种表现。

为什么？为什么是你们来去选择这些研究方向，而不是我们去决定要研究哪个方向呢？所以数学家社区笼罩在这样的一种氛围中，甚至是一向以来一直是以这个支持AI研究支撑。数学发现的这个陶哲轩，他也提出了一些这个担忧。包括前一段时间，他联合25位菲尔兹奖获得者去写了一份这个声明，哈，就说AI在数学研究领域的严重错位。

当时他讲什么意思呢？他就说AI的发展，那可能现在确实是能够在证明定理上。起到一定的作用。但是整个数学家社区的繁荣，不光是要解决这些定理，我们是，目标是能够让这个社区共同繁荣，能够让大家去消化、吸收、理解这些新的发现。能够去带学生，能够让思想在社区内形成一个很好的传播，让整个社区壮大。

那这两个目标就产生了错位，所以他觉得这些 ai 公司不应该决定数学研究发展的方向。而是应该数学家自己去定义这些方向。然后而且他最近也转发了人类数学家联合会的那份声明，号召大家要抵制这些数学家去支持这个 OpenAI 相关的数学研究工作。但是其实我回顾了一下陶哲轩这些年来的思想变化，包括他一直以来对 ai 的态度哈，我觉得他一直是一个特别客观理性的人，他是能够拥抱工具变化的人，甚至是在他一开始能够发现。

ai 能够辅助做证明的时候，就开始主动的去学习 lean 证明，是吧？lean lean 证明器，包括他也建立了一套社区，去支持大家去发布一些 lean 证明的结果。甚至是到昨天，他还在他的博客上发表了一个同行写给自己的数学系的学生的一篇文章，支持这些年轻的学子去学习数学。

就即使是在 ai 带来这么大冲击的情况下，他们依然鼓励学生去把数学选择为一个自己可以去追求的一个方向。所以其实陶哲轩还是比较客观、理性的在去应对这个 ai 这件事哈。但是为什么大家感受到似乎他也表现出一些不满，或者是一些觉得不太对的地方哈，我尝试去理解。

那首先第一点呢，就是确实这些 ai 公司之前有在既有的数学体系下，尝试去，尝试第一个去提出自己的证明，显示自己的模型多厉害，显示要跟 anthropic pk 是吧？然后我们要去去，在这个证明上抢第一，所以有的时候甚至是没有给到一些数学家应有的 credit，这个是他比较生气的一件事。

第二个呢，就是他认为可能。数学，整个数学界哈，其实受到了一些冲击的。他最近提出了一个叫 math 2.0的一个愿景，就是说我们数学家社区以前 value 的是谁把这个证明提出来了，比如说像王红得菲尔兹奖，就是因为他解决了一个菲尔兹奖级别难度的一个数学的命题。

他证明了，那以前大家 value 的是首先提出证明的人。但接下来可能这个第一步，这个动作哈，没有那么重要了。就是因为 ai 可能会提出来，但是到底谁能够消化理解，或者真的能够把这个事情向社区讲清楚？能够把这些事情传递开来，或者是，对吧，就是让学生能够明白这些东西到底怎么来去让人类共同的消化、理解、吸收，那这个事情变成了一个更重要的事情，所以他认为 math 2.0数学家社区应该关注的是这个阶段的一些新的，这个我们的共同的方向哈。

但是实际上，比较这个，让有挑战的是哈，其实证明定理往往是上游，或者说你最难的这件事可能已经被解决了。你说 ai 能不能消化理解吸收？我觉得也是有可能的，但是他可能没那么快，还是需要借助数学家去一步一步的去把这些事，这个事情能够落实。或者说，即使是要去打磨这些 skill，也需要专业领域的人去打磨这些 skill 吧，对吧？

那我们接下来这些数学家干什么呢？就是其实很多事情可以干，就是不光是即即使是证明这一件事哈，都没有完全搞定。因为他现在700多道题，也就是200多有这个形式化证明，对吧？4000多道题，也就是700道解决了。还有那么多未解问题，整个数学的宇宙是非常浩瀚的。

然后很多的技术细节，包括数学的一些小的方向，它都是值得去人类数学家努力去解决的。只不过当下一下子大家感受到了冲击，感受到了 shock。其实这种冲击感，我觉得在我们白领，我们小白领，还有程序员，然后在什么艺术家，在 midjourney 那个阶段，在编程的阶段，在我们日常的剪辑视频的阶段，我们都已经感受到了冲击。

只不过数学家一直以来都是那种神坛上的，然后最聪明的大脑再去研究着最难的问题，是吧？代表着人类智力的巅峰。但是即使是这样的一帮群体哈，就是他们也是没办法去避免被 ai 超越，甚至说就是这种明确能够被定义的，这样的一些方向是可以被 ai 解解决的，解答的。

所以他们受到冲击非常能够理解，但我觉得冲击之后，大家肯定会重新去思考，我们这些聪明的数学家、大脑袋。要为这个数学贡献什么样的力量？我们真的还是要数十年如一日的去研究一道命题的解法吗？可能不是了。我们可能要想想，这些数学的呃，这个才这个理论，到底能够支持人类哪些方面的新的贡献？

比如说是生命科学的贡献，还是材料发现的贡献，还是能够解答一个什么样的这个困扰当下人类生活的一个问题？我们数学家是不是可以回到人民群众中，帮我们来去解决一些当下已经很难，但是还没有办法去解决的问题？比如说疾病的问题、传染病的问题、比如说气候变化的问题、再比如说什么财富分配的问题，有一些非常多的问题、现实的问题等待着大家去解决。

数学当然很重要，但是当它有了这个 ai 能够解决一部分我们重复性的脑力工作，甚至是前沿性的非常难的脑力工作之后，我们的脑力还可以在哪些地方发挥价值？这是一种思考问题的方向哈。然后第二种方向。当所有的一切可能都能够被 ai 去解决了，就是所有的智智力活动，它都能够去以更高的效率，人类更低的成本，它都能够去解决的时候，那我们人还要学数学吗？

或者说我们这些学生还要选择数学作为我们的终身志向吗？这也是大家很多人的问题哈。我觉得这个事也可以从两方面来看啊，首先我们的社会变革是非常缓慢的，就是即使是今天，已经有了这样先进的技术，你蔓延扩散到各个大学、各个学校、中小学。是很长的一段时间要走，所以你该等等你毕业，就是你毕业的时候，该找工作找工作，该找这个教职找教职，该去研究数学接着去研究数学。

接着，接下来的这个工作变化没有那么快，所以我觉得要有一段时间留给大家去做好这个应对，其实也是一个比较好的，让我们能够适配、适应这个 ai 进展的一个一个一个步伐哈。然后，第二个就是——就即使是接下来可能数学研究没有那么多的工作机会了，或者说没有那么多挣钱谋生的这个机会了。

其实我觉得反倒是筛下来一部分真的对数学研究感兴趣、真的能够享受那个过程的那些人，然后接着在这个领域去钻研、去探索。然后，那多出来这部分人干啥？我刚才说，聪明大脑袋，他们能干的事儿太多了，他们能够想到的……就是能够挣钱谋生的方式也太多了，但是是不是那个谋生的方向是他愿意，就是愿意奉献自己一生的这个方向？

我觉得这个事反倒成为一个更重要的问题，就是接下来你想怎么过好你这一生，你想去解决一个什么问题？你是想成为柯洁那样，去一边穿着西服，一边教大家围棋的人，对吧？他也很很很自洽，现在。就那我 ai 超过我了，那就超过呗，但是我还是能够下赢人类选手啊。

那我还是能够自得其乐呀，这就很很好了。那你是选择做这样的人，还是说我可能压根儿就觉得数学很枯燥，那我就去去研究这个AI对吧？或者说我去研究其他的领域的问题。当然可能每一个领域啊，都已经被AI攻占了，AI已经把人类的所有的这个智力成果的这些方面哈，都都让我们沦陷了。

但是我们还有体力啊，我们还有这个世界啊，我们还有。这个现实世界交互，还有世界模型啊，呵，我们还有这些AI还不能去理解的东西，对吧？即使是所有的东西都被AI理解了，被机器人掌控了，那我们还人还有什么？我们还有内在世界，我们还可以冥想，我们还可以修心，我们还可以建立人和人之间的连接。

我我觉得人不会找不到事情做的，就是人不会找不到意义感的，只不过说我们上一个工业时代留下来的。那些找到意义感的方式，正在一个一个的被 ai 冲击，被 ai 重塑。那这个过程，普通人面对，数学家也同样面对，我们全人类面对的是一样的。这个进程哈，那这个事件对我们普通人到底意味着什么哈？

我觉得不会改变你太多当下的选择，就是当，可能就是唯一一点哈，就是要学好 ai，用好 ai，把它当成一个非常好的老师。他就是一个很好的工具，一个助手。呃，你要理解它现在的局限性。嗯，因为我这两天在打磨视频工作流啊，我知道它现在虽然能解决数学难题了，但是在响应人类指令，或者说我们人类在表达自己指令的时候，还是没有那么清晰的。

那在这个情况下，我们还有大量的工作可以做，我们可以打磨自己的视频工作流，可以让剪辑更轻松，我们可以让这个教育更轻松，我们可以让我们的这个这个摩擦，我们发生在我们大脑真正愿意去摩擦的方向啊，数学也好，或者是看书、看其他领域的书也好，或者是你就是挣钱也好，其实还有很多的信息是模型不会的。

所以我觉得普通人完全没有必要担心，就说啊，ai替代啊，或者是什么大规模的什么冲击啊，我觉得这些东西是我们要在社会层面去考虑制度保障的问题。但是我们日常面对生活的时候，面对我们接下来选择的时候，一定要去积极的拥抱拥抱这个 ai，拥抱新的工具可以带给我们的新的可能性。

所以我觉得这是这个，这这这次事件我的一些看法哈，虽然很长。但是确实也是一个比较复杂的事件，我也是消化吸收了很久。你看，这就是对我来说一个很好的学习，我一个门外汉，我怎么了解数学领域这些前沿的数学家在思考什么？他们在愤怒什么？他们在纠结什么？

但是有了 ai，它可以帮我去快速了解、消化、吸收，我也可以让这些观点能够被更多的人听到。对，这就是 ai 带给我们的一些新的机会，也是这个时代我们会经历的一些新的重塑吧。嗯，也希望大家能够找到自己在这个时代舒服的生存方式。嗯，拜拜！