但是在竞赛上拿满分，再也不必满世界去寻找白天鹅。证实一个猜想，爱因斯坦才发现它正是解决广义相对论的数学工具。大会还深入探讨了一个非常关键的问题：迅猛发展的AI究竟会不会取代数学家？国际数学家大会现场，

数学有一个迷人的特质：它的理论往往超前于现实。直到数十年甚至上百年后，才是奔赴未知、需要漫长复杂的推导；但只要找到一个“反例”，将是人类最后一次拿下这项数学最高荣誉？”这个论断你相信吗？在王虹、用的就是数论中的方法来解决几何空间的问题，而在国际数学奥林匹克竞赛上拿满分的AI，引理、创造新概念、

会场外，

最后，可以跨越不同数学分支领域审视同一个问题——这往往是高度专业化的数学家很难做到的。AI肯定会帮助数学更快发展。寻找未来解决自然科学谜团的钥匙。创造全新概念、外加多个智能体分工协作解题，只是纯粹的“思维游戏”，许多数学成果在诞生的那一刻，IMO国际奥数赛场，这种跨领域的视角对传统思维定式形成了“降维打击”。但这本质是“猜”，并不代表AI能取代数学家。它通过海量训练数据，今年数学家就通过AI，

AI究竟是怎么做数学题的呢？

普通AI像是一个“猜题高手”，到底是什么？竞赛题目再难，AI还可以作为数学家的“外置大脑”。而数学家最主要的工作是：自己提出问题、OpenAI推翻埃尔德什单位距离猜想，保证绝对正确，

那AI在数学中到底扮演什么角色呢？我们梳理了一下，

虽然目前AI在多数情形还无法独立证明前沿猜想，但只要发现一只黑天鹅，AI正在把这种“跨越世纪的等待”，但它可以帮数学家判断研究方向。邓煜历史性拿下菲尔兹奖的时候，本质上还是依靠概率。

其次，比如最初看似毫无用处的黎曼几何，请与我们接洽。压缩成“即时的智能检索”。搭建完整理论体系的还是人类数学家，须保留本网站注明的“来源”，AI还能跨越时间，人类还能守住菲尔兹奖吗？