孙宇晨设百万美元数学奖，OpenAI成果在列却无人认领

【科技纵览】当人形机器人在真实的半程马拉松赛道上与人类选手并肩奔跑，并且最终以超越人类世界纪录的50分26秒完赛，这已经不是科幻电影中的场景了。而在一年前的同样比赛中，我们还在嘲笑机器人跑步像“醉汉”，短短一年时间机器人进步速度之快，令人咋舌。其背后所展现的技术突破，远比比赛本身更具深远意义。尤其值得关注的是，2026北京人形机器人半程马拉松比赛，参赛队伍总数超过100支，近四成队伍搭载自主导航技术，智能化水平显著提升，这更是5G-A（5G-Advanced）网络技术在高速移动、高并发、高可靠场景下，对具身智能产业提供支撑的一次关键性验证。5G-A网络：具身智能的“云端运动神经”具身智能机器人要实现真正的自主化，其核心瓶颈往往不在于本体的机械结构，而在于数据流的实时性与可靠性。一台人形机器人在奔跑过程中，需要实时处理海量的激光雷达、视觉摄像头、IMU等传感器数据，并进行毫秒级的决策。这对于本体的算力与能耗是巨大的挑战，因此云、端协同是当下的最优选择。

景甜风波余波未平，孙宇晨又将目光投向了严谨的数学界。日前，他高调宣布设立“孙宇晨奖”，意图打造“AI时代的诺贝尔奖”，旨在填补诺贝尔奖百年以来缺失数学奖项的空白。在该奖项的首批名单中，OpenAI研究团队因在三维纳维-斯托克斯（N-S）方程领域的突破性成果，被列为最高档获奖者，奖金高达100万美元（约合人民币671万元）。然而截至发稿，OpenAI方面既未申领该奖项，也未作出任何公开回应。这一现象引发了业界好奇：这笔巨额奖金究竟为何无人问津？

与传统学术奖项按年度评选、经过复杂提名评审流程不同，“孙宇晨奖”采取了一种更为直接的模式：先公布一批待解的数学问题，再针对具体解题成果设奖。目前，官方题库已收录1022道数学难题。首批公布的66项成果，均已完成完整的Lean形式化证明，具备了申领资格。奖项共分为五个档次，除最高档固定为100万美元外，其余四档金额不固定，需由委员会依据成果重要性裁定。但要真正拿到这笔钱，申请者必须满足两个硬性条件。

首先，数学证明本身必须在逻辑上成立，且整个推导过程需被“翻译”成Lean语言，以便机器进行逐行核验。Lean作为一种形式化证明系统，堪称一位极其严苛的“数学老师”。人类数学家在撰写证明时，常会省略一些“显而易见”的步骤，但机器无法自动脑补。从前提假设到定理调用，再到每一步的逻辑推演，都必须清晰无误地呈现。只有整条逻辑链通过系统验证，才算完成形式化。在此基础上，贡献者需主动申领，经身份与贡献确认后，方可领取奖金。奖金分配机制也颇具特色：解题者获得70%，负责Lean形式化转换者获得30%；若同一团队包揽两项工作，则可独享全部奖金。值得注意的是，奖金并非以法币现金发放，而是以稳定币形式支付。获奖者可选择在孙宇晨创立的波场链上领取USDT，或在以太坊链上领取USDC，这一安排带有鲜明的个人风格印记。

在题为《我为什么要设立孙宇晨奖》的文章中，孙宇晨阐述了设立该奖的初衷。他认为，区块链技术的根基在于密码学与数学，自己凭借此领域积累财富，理应回馈数学界。另一重动机源于今年的菲尔兹奖。看到两位北大同级校友王虹和邓煜同台获奖，他感慨“我们这一代人，也到了该做点什么的时候了”。作为历史系出身者，他坦言难以亲自下场证明定理，于是将自身角色定位为“确保他们因此得到奖励”。对于奖项命名，他援引诺贝尔奖、菲尔兹奖及图灵奖为例，认为人名与奖项绑定有助于长期传承。奖牌设计更是强化了个人印记：正面印有孙宇晨肖像，据称主体为铜质，表面镀有6克纯金。至于谁将成为首位晒出这款奖牌的得主，尚属未知。回顾过往，从456万美元拍下巴菲特午餐到耗资2800万美元体验太空旅行，孙宇晨擅长将高额支出转化为舆论热点。此次以100万美元换取“填补诺贝尔奖空白”的新闻效应，并顺势推广波场链，或许是他成本效益较高的一次营销操作。

抛开营销色彩，孙宇晨对行业趋势的嗅觉依然敏锐。过去一年多，AI在数学领域的能力突飞猛进。2025年，谷歌Gemini模型已达到国际数学奥林匹克竞赛金牌标准；今年8月，OpenAI公布了10项数学及理论计算机成果，其中部分解决了长期存在的开放性问题，并全部提供了Lean形式化证明。至9月，AI更涉足N-S方程等研究级难题。随着AI能力的提升，一个核心问题日益凸显：AI生成的证明是否可靠？Lean系统通过将证明拆解为机器可验证的逻辑链，恰好回应了这一关切。从这个视角看，“孙宇晨奖”同时奖励解题与机器验证，并非纯粹包装，而是触及了AI数学向深层研究迈进时的关键痛点。不过，若要真正坐实“AI时代诺贝尔奖”的名号，恐怕还需等待首批奖金顺利发放，并经受住时间的检验。