话说在人工智能的发展越来越猛的时候,大家也开始琢磨琢磨它的底层逻辑到底是怎么回事了。最近开的那个第十届世界华人数学家大会,就把全球的数学家和AI团队聚到了一块儿,商量着怎么用数学去给AI找个新路子。这趟对话不光点出了现在技术路数的短板,还指了条未来该怎么走的明路。国际上拿了菲尔兹奖的丘成桐教授在台上讲到,上世纪60年代计算机就碰上过“N²瓶颈”的事儿,数据一多,计算时间就指数级往上翻,搞得大家都很头疼。转机出现在1965年,数学家库利和图基又把傅里叶变换的算法给重新发现了。他们利用复数根的对称性这一巧妙的数学原理,硬是把复杂度从N²降到了NlogN,这可是现代信息技术革命的数学基石。 丘成桐接着说,现在的AI发展就跟当年那时候差不多,也是卡在了一个“N²时代”。大家现在光想着堆算力、吃电费,这已经走到头了。想破这个局,得靠像FFT那样的数学原理革新,得把计算范式从底子里重构一下。大家都这么想了,大会就赶紧把“人类知识边界:全球数学征解”计划给推出来了。这个计划分了好几个层级:“初探”是给本科生练练脑子;“突破”是给硕博生搞搞理论创新;“拓界”则是让全世界的人都来挑战最难的猜想。这就好比是从人才培养到前沿探索,整个体系都搭起来了。 更有意思的是在现场搞了场高水准的“图灵测试”。我们国家的几个主要AI团队也都亮了相。上海人工智能实验室搞的那个“书生”模型就挺猛的,它最近在中国数学奥林匹克竞赛里跟人比过了一把。最后考了102分,轻轻松松过了78分的金牌线。阅卷老师都说它解题的办法特新颖,“结合了多种数学观察”,以前的学生都没这么干过。 阿里通义实验室那边也展示了进化后的AI思维。他们那个Qwen3-Max模型在解抽象代数题的时候,表现出了类人的自我验证能力。它会在中间停下来输个“让我验证一下”,然后推翻自己的结论再换个法子试试。这说明经过了大规模的预训练和强化学习后,AI系统已经初步有了逻辑自省和调整策略的高级认知。 从FFT改变计算机发展轨迹的历史经验来看,基础研究的突破往往就是技术革命的前奏。全球数学征解计划的启动不光是给AI找个系统化的科研路子,也体现了咱们国家搞基础科学那种开放合作、看重长远发展的理念。 当数学的严谨逻辑碰上AI的强大算力的时候,咱们人类拓展认知边界的动力就更足了。这既是技术发展必须的要求,也是咱们探索未知世界的永恒追求。就在科学和技术交汇的新起点上,这场对根本原理的追问说不定就能催生出下一个改变世界的范式革命呢。