1月6日，第十届世界华人数学家大会在上海举办特别夜话活动，将数学与人工智能的前沿探索推向新的高度。本次活动由上海市经济和信息化委员会指导，上海市人工智能行业协会与上海数学与交叉学科研究院联合主办，汇聚了数学领域的顶尖学者与国内领先的AI研发团队，围绕"如何用数学的逻辑去解决AI的幻觉问题"这个核心课题展开激烈碰撞。 菲尔兹奖得主丘成桐院士在致辞中深刻阐述了数学对技术突破的决定性作用。他以计算机工业发展史为鉴，讲述了上世纪60年代计算机处理信号时遭遇的瓶颈。当时——随着数据量增加——计算复杂度呈指数级爆炸，硬件性能成为难以逾越的鸿沟。直到1965年，库利和图基重新发现快速傅里叶变换算法，数学家仅通过利用复数根的对称性，就将计算复杂度实现了革命性降低，从而彻底改变了整个工业格局，为互联网时代的到来奠定了基础。丘成桐以此为喻指出，当今依靠显卡堆砌和能源消耗的人工智能，正处于类似的"时代"，亟需源自数学底层逻辑的范式革命，而非单纯追求更快的芯片。 面对这一时代课题，上海人工智能实验室、阿里通义、商汤科技、字节跳动等四大模型战队展示了各自创新突破，从极限推理和思维进化两个维度突围。 在极限推理维度，上海人工智能实验室张文蔚团队展示的"书生"模型实现了长程推理能力的突破。该模型在处理涉及矩阵递归的前沿引理时，进行了长达数小时的深度推理。在刚刚结束的中国数学奥林匹克冬令营中，书生模型与人类顶尖选手同台竞技，获得102分的成绩，远超金牌线78分。阅卷专家评价其答题方案为"新的解法"，展现了创新的数学思维。阿里通义实验室的Qwen3-Max模型则展现了更深层的思维进化。在解决抽象代数难题时，该模型在推导过程中主动识别出逻辑风险，输出"让我验证一下"的提示，随后推翻之前结论并采用交叉验证方法。这表明经过大规模预训练和强化学习后，模型已具备了强大的数学解题泛化能力，从单点突破的奥赛金牌水平，逐步演进为全天候的科研助手。 在思维进化维度，AI体现出了超越纯粹计算的"灵性"。商汤科技的"日日新"模型在计算复杂广义积分时，没有陷入暴力数值计算，而是敏锐捕捉函数对称性，通过倒数代换瞬间化解难题。在场数学家将这种能力称为"机器的审美"，标志着AI从单纯计算向"巧妙"思维的升级。字节跳动Seed团队则采用形式化数学路径，通过严格的形式化监督信号确保每一步推理的正确性，消除幻觉风险，并借助测试时扩展技术提升模型的思考深度和宽度。 这场夜话反映了上海在科学智能领域的战略布局。通过将数学基础理论与人工智能技术深度融合，上海正在构建从基础研究到产业应用的完整生态链。这种融合不仅有助于解决当前AI发展中的关键瓶颈，更为长远的技术突破奠定了坚实基础。
从生成能力到可靠性，AI需要建立以数学为基础的逻辑体系；只有将不确定的推理纳入可验证框架，在可复核的基础上提升效率，才能使AI工具真正服务于严肃科研。基础研究引领关键突破，制度与工具共同确保可靠性，这或许是科学智能发展的必经之路。