人工智能模型也能发展出类似数学家的直觉吗？

在近日举办的第十届世界华人数学家大会上，一场主题为“人工智能与数学”的夜话活动引发关注。菲尔兹奖得主丘成桐院士作为领衔者，集结了国内四大顶尖模型团队的代表，包括上海人工智能实验室、商汤科技、阿里通义与字节跳动，共同探讨数学与AI的深度碰撞。活动现场展开了一场真刀真枪的“图灵测试”。

面对数学家们提出的难题，商汤科技“日日新”大模型在解答复分析计算积分、微分几何证明等问题时，展现了令人惊叹的思维进化能力。

在计算一道复杂的广义积分时，模型并未进行繁琐的数值运算，而是敏锐地捕捉到了函数的对称性，通过简单的倒数替换（u=1/t），瞬间将难题化归为零。整个解题过程中，“日日新”大模型展现出“避繁就简”、直击问题本质的“巧妙”与“灵性”，被在场数学家誉为“机器的审美”。值得一提的是，这是在模型没有经过专项优化的情况下完成的。

这是否意味着AI已经超越了单纯的计算，初步具备了类似人类的直觉思维呢？在与顶尖数学家们深度交流的过程中，商汤团队表示，通过引入基于可靠过程验证的强化学习机制，当前大模型的数学能力得到了显著提升。

探索解决复杂数学难题，表明大模型已初步形成了可用于严肃科学研究的结构化推理与洞察潜力，正从一种“强大的工具”，向能够理解问题、发现巧思的“科研助手”演进，有望在更广泛的前沿科研领域加速创新突破。

未来，商汤将持续深耕AI与基础科学的交叉融合，以技术创新推动人工智能从“随机”走向“逻辑”，从“概率”走向“确定”，为人类知识边界拓展注入智能动力。正如丘成桐院士所言，AI需要的不是更快的芯片，而是当代的“FFT（快速傅里叶变换）”——一场源自数学底层逻辑的范式革命。

世界华人数学家大会由丘成桐于1998年发起设立，现已成为国际华人数学界规模最大、最具影响力的顶级学术盛会。本次大会吸引了来自全球多个国家和地区的数千名数学家、科研人员和高校师生参与，构建了开放多元的国际学术交流平台。