1月6日，，，，，第十届世界华人数学家大会闭幕前夜，，，，，菲尔兹奖得主丘成桐与数学家们在上海向全球AI大模型出题，，，，，并按照难度高低分为三档，，，，，试图通过AI探求“人类知识边界”。。。。。。 “与人脑计算相比，，，，，AI在高维计算中具备一定优势，，，，，但数学家更适合解决长期悬而未决的深度问题。。。。。。”丘成桐表示，，，，，AI应与人类合作，，，，，弥补想象力不足，，，，，携手跨越数学界的“奇点”难题。。。。。。 去年7月，，，，，在2025年世界人工智能大会上，，，，，丘成桐现场命题，，，，，上海人工智能实验室、商汤、阶跃星辰和MiniMax四款大模型同台解题，，，，，屏幕实时展示AI推理过程，，，，，首次向公众展示AI在数学方面的解题能力。。。。。。 记者在现场看到，，，，，上海人工智能实验室的书生模型，，，，，在攻克一道涉及矩阵递归的前沿引理时，，，，，投入了长达数小时的深度推理。。。。。。字节跳动Seed团队则采用强化学习训练，，，，，解题过程中正确证明获得奖励，，，，，错误则扣分，，，，，实现持续优化，，，，，每一步推理都必须符合逻辑规范，，，，，从根源上杜绝了“幻觉”现象。。。。。。 通义千问模型在解答抽象代数难题时，，，，，推导过程中会主动自我验证，，，，，意识到自身推导中的逻辑漏洞，，，，，主动推翻了之前的结论，，，，，转而调用另一种方法进行交叉验证。。。。。。而商汤的日日新模型则展现出了类似数学家的直觉，，，，，在解决复杂的广义积分时，，，，，没有采用暴力计算的方案，，，，，而是意识到函数的对称性，，，，，将难题化繁为简。。。。。。 目前，，，，，国产AI大模型在各大数学竞赛中拿到高分。。。。。。比如，，，，，字节Seed团队在国际数学奥林匹克竞赛中表现亮眼，，，，，博士级抽象代数题的解决率达到33%。。。。。。在中国数学奥林匹克冬令营中，，，，，书生模型斩获102分的优异成绩，，，，，远超78分的金牌分数线。。。。。。通义千问在考研数学题评测中，，，，，凭借纯文本单次推理拿到146.8分，，，，，若搭配代码工具辅助解题，，，，，在竞赛级题目中甚至能达到满分水平。。。。。。 “现在的AI参数已超万亿级了，，，，，正逼近极限，，，，，在这一时刻，，，，，数学经典算法理论更显重要。。。。。。”在丘成桐看来，，，，，数学界还有很多“祖师爷”级别的经典算法，，，，，能给AI的底层算法突破带来希望。。。。。。 上世纪60年代，，，，，计算机处理信号的复杂度被卡在了物理层面。。。。。。随着数据量增加，，，，，计算时间呈指数级爆炸，，，，，那是硬件无法逾越的鸿沟。。。。。。“当时大家觉得没路走了，，，，，直到1965年，，，，，库利和图基重新发现了快速傅里叶变换。。。。。。这一下子就改变了整个工业界，，，，，没有它，，，，，就没有今天的互联网。。。。。。”丘成桐表示，，，，，AI计算和数学其实早有渊源。。。。。。 1976年，，，，，数学家借助计算机首次完成了困扰数学界百年的“四色定理”证明，，，，，即任何平面地图只需四种颜色就能让相邻区域颜色不同。。。。。。这一证明的关键难点在于1800多种特殊验证工作过于繁琐，，，，，人力难以完成，，，，，而计算机则精准完成了逐一枚举验证。。。。。。 随着算法和算力进步，，，，，计算机开始处理更复杂的数学问题。。。。。。2016年，，，，，数学家再次通过智能计算解决了“布尔毕达哥拉斯三元组问题”。。。。。。这一证明过程的计算量极为庞大，，，，，相当于一台高性能电脑连续运行4年，，，，，产生的原始数据量高达200TB，，，，，如此海量且复杂的计算任务，，，，，显然是人力难以企及的。。。。。。 “能解决奥数难题，，，，，就说AI替代数学家，，，，，这还为时过早，，，，，AI无法找到能够控制整个学问的‘奇点’。。。。。。这需要依靠人脑和AI的结合。。。。。。”丘成桐一针见血指出，，，，，AI可以解题，，，，，可以统计归纳海量数据，，，，，但无法提出宏大的数学猜想，，，，，提炼出原创性的理论和定理。。。。。。 上海市人工智能行业协会秘书长钟俊浩也表示，，，，，AI擅长高强度的重复计算，，，，，可以将数学家从重复性的脑力劳动中解放出来，，，，，以便进行更高维度的思考。。。。。。 目前，，，，，上海正围绕数学与AI融合的基础理论突破、AI辅助数学研究、产业场景转化三大前沿方向布局。。。。。。费夫曼实验室（fefferman lab）与希钦-吴实验室（hitchin-ngo lab）两个菲尔兹奖获得者冠名实验室已在上海落地。。。。。。 据悉，，，，，此次发布的三道数学题，，，，，不仅是一份考卷，，，，，更是上海向全球AI行业发出的“英雄帖”，，，，，分为初探、突破和拓界三种难度，，，，，前两种分别对应本科生和硕博难度，，，，，拓界则是面向全人类的终极猜想。。。。。。