太恐怖了！就在刚刚，AI又在数学界干了件大事。人类几代数学家花了半个多世纪、写下约15000页证明才完成的数学难题，AI只用了24天，4310万行代码就完成了一项大规模的证明验证工作，还发现了原有证明中的问题。
真是AI一天，人间一年！
· · ·
人类半个世纪的成果，AI只用了24天这个难题叫有限单群分类定理，被称为数学史上最庞大的证明之一。
简单理解，它就是要给数学世界里各种复杂的对称结构，找到最基本的组成单元，有点像化学家给元素编制周期表。
为了完成它，约100位数学家接力研究了几十年，成果散落在500多篇论文里。整个证明极其庞大，光靠人脑很难把每一步都重新检查一遍。
而这一次，几十个AI Agent分工合作，把整个证明拆成108个关键里程碑、约380项具体任务，有的负责寻找已有结论，有的负责推导，有的负责检查。
它们把数学推导写成计算机能够理解的代码，再交给一套叫Lean的数学证明系统，逐步检查每一步逻辑是否成立。只要有一步不符合规则，就无法通过验证。
最终，仅仅24天，AI生成了4310万行证明代码，完成了大规模的形式化验证工作，还发现了原有文献中34处值得关注的问题。
· · ·
数学这块智商高地，也快守不住了最近AI在数学上的突破，简直一个接一个。
Claude在黎曼猜想相关研究中，把一项多年没有大幅推进的数学证明指标，从41.6%一举提高到了67.2%。
OpenAI内部模型，挑战七大“千禧年数学难题”之一的纳维-斯托克斯方程。几十个Agent协作，约88小时就找到了一种特殊情形下的解法，又花17小时完成计算机形式化验证。
就在10月26日，OpenAI的内部模型又对中国数学家王虹去年刚刚攻克的百年数学难题——“王的猜想”取得新进展，进一步推广到了所有维度，并给出了证明。
要知道，数学以前是什么？
那可是人类智商的天花板，是高智商人群凡尔赛的大本营。
现在连这个领域，都开始被AI大规模突破。
我觉得这件事标志着，AI已经在越来越多过去被认为只有人类顶尖智力才能完成的任务上，展现出超越人类的能力。而且这个趋势只会越来越快。
· · ·
三年前嘲笑AI的人，还笑得出来吗？这让我想起三年前，我用GPT-4写出一个贪吃蛇小游戏，当时就说：留给人类程序员的时间不多了。
结果一群程序员跑到评论区嘲笑我，说傅盛根本不懂技术，AI不过就是复制了一段贪吃蛇代码，有本事让它写个《王者荣耀》试试。
今天我想说，AI开发《王者荣耀》这样复杂的游戏，已经不再是一个不可想象的问题了。
当年嘲笑我的那些程序员，其实不懂一个道理。
一旦人工智能在某些过去认为很难的单点上取得突破，就意味着底层范式已经发生了根本性变化。
就像当年AI写出一个贪吃蛇，很多人觉得这有什么了不起？但我看到的是，写程序这件过去必须依赖人类程序员的事，AI已经能够自己完成了。
至于它以后能写多复杂的程序，很多就是时间、算力和技术迭代的问题。
今天数学领域的突破，再次印证了这个判断。接下来，新药研发、芯片设计等领域，也会迎来越来越多的重大突破。
· · ·
别再炫耀智商了，炫耀你的Agent所以今天，如果你还在觉得AI不够专业，觉得AI有点傻，我反而想问一句：
有没有可能，是你太不懂AI了？
你可能根本没有理解什么叫智能，没有想清楚你和智能体之间应该是什么关系。你甚至不知道怎么让Agent理解你到底想干什么，或者你自己都没把目标想清楚。
更重要的是，你有没有能力让Agent跟着你的认知不断成长，变得越来越懂你？
这也是为什么，我最近一直在讲AI Native组织。
过去的传统组织，主要靠人干活，AI在旁边出谋划策。未来应该让AI Agent成为干活的主力，人来负责审核、指导和训练Agent，让它们越干越好。
我觉得未来人和人之间的差距，很可能就在这里。以前我们总喜欢比谁智商高、谁更聪明、谁能独立解决更多难题。但当AI已经能完成大量顶尖专家的工作，个人智商还有那么值得炫耀吗？
这让我想到当年人类祖先学会用火。同样是一群猿人，有的学会了驾驭火的力量，最终走向了智人文明；有的始终不会用火，命运就此走上了不同的道路。火的出现，让会用它的人拥有了远超自身的力量。
今天，AI就是这样的力量。
以后人类不需要凡事都靠自己产生智能，更重要的是学会撬动智能、用好智能。这种能力，将成为未来人与人之间的分水岭。
所以，以后别再彼此炫耀智商了。要炫耀，就炫耀你能撬动多少Agent的智商！
· · ·
从会用AI，到真正改造企业会用智能的人和不会用智能的人，未来的差距只会越来越大。
这几年我们猎豹自己也在折腾AI转型，踩了不少坑，也摸索出了一套方法。10月30日，我们会在上海办一场猎豹AI实战派线下课，从认知、管理到实操，讲讲我们这些年真正做过的事。
如果你是企业一把手，也正在琢磨怎么把AI用进业务、落进组织，欢迎带着真实问题来现场聊聊。