(原标题:从“暴力计算”到“数学直觉”,商汤日日新大模型获赞“机器的审美”)
大模型也能拥有某种数学家“直觉”!
在近日举办的第十届世界华人数学家大会“人工智能与数学”夜话活动上,由菲尔兹奖得主丘成桐院士引领,集结国内四大顶尖模型团队,上海人工智能实验室、商汤科技、阿里通义、字节跳动,让数学与AI同台碰撞,开展了一场真刀真枪的“图灵测试”。

现场,面对数学家抛出的难题,商汤科技“日日新”大模型在解答复分析计算积分、微分几何证明等问题中,展示了惊人的进化力。
在计算一个复杂的广义积分时,模型没有陷入暴力的数值计算,而是敏锐地捕捉到了函数的对称性,利用倒数代换(u=1/t)瞬间将难题化归为零。整个解题过程中,日日新大模型展现出了“避繁就简”、直击问题本质的“巧妙”和“灵性”,被在场数学家誉为“机器的审美”。并且,这是模型在没有进行专门优化的情况下完成的。
这是否意味着AI已超越了单纯的计算,而初步具备了类似人类的直觉思维呢?在与顶尖数学家们深度交流过程中,商汤团队表示,通过引入有可靠过程验证的强化学习机制,当前的大模型展现了显著的数学能力提升。
探索解决复杂数学难题,意味着大模型已初步形成了可用于严肃科学探究的结构化推理与洞察潜力,从“强大的工具”,向能够理解问题、发现巧思的“科研助手”演进,有望在更广泛的前沿科研领域加速创新突破。
未来,商汤将持续深耕AI与基础科学的交叉融合,以技术创新推动人工智能从“随机”走向“逻辑”,从“概率”走向“确定”,为人类知识边界拓展注入智能动力。正如丘成桐院士所言,AI需要的不是更快的芯片,而是当代的“FFT(快速傅里叶变换)”,一种源自数学底层逻辑的范式革命。
世界华人数学家大会由丘成桐于1998年发起设立,现已成为国际华人数学界规模最大、最具影响力的顶级学术盛会。本次大会吸引了来自全球多个国家和地区的数千名数学家、科研人员和高校师生参与,构建开放多元的国际学术交流平台。
