近日，据Cointelegraph和The Block等海外知名媒体报道，孙宇晨办公室（The Office of Justin Sun）宣布，将联合加州理工学院（Caltech）余越教授及其团队开发的数学研究平台 MathDB，共同启动“孙宇晨奖”试点项目。

“AI 正在改变人类探索数学的速度，但光有速度不等于科学进步，”该奖项的创办者孙宇晨表示，“当下的关键契机，在于建立一种全新框架，让人类洞察与机器智能相辅相成，且绝不牺牲严谨性。与 MathDB 的合作将数学发现与机器可验证的证明纳入同一流程，我们相信这将为未来的科学探索树立更严谨的范式。”

孙宇晨奖旨在成为“AI 时代的诺贝尔奖”，以更去中心化、形式化验证、由机器驱动的全新范式，回应新时代科研与激励机制的深刻变革。单道难题的奖金最高可达 100 万美元，具体以适用的奖项条款和资格要求为准。

本次合作建立了一套通过 MathDB 提交和评审的流程： MathDB 负责接收解题方案、验证 Lean 形式化证明并评审阐释性材料；孙宇晨奖官方则独立负责审核解答者的获奖资格、成果归属、优先权及相关奖励条款。

本次试点涵盖 4 个奖项等级、共计 50 道数学难题，各题奖金视题目而定，单题最高可达 100 万美元。最高等级的题目包括 P 与 NP 问题、黎曼猜想、杨-米尔斯存在性与质量间隙、霍奇猜想、全局朗兰兹函子性、贝赫和斯维纳通-戴尔猜想等。完整参评题目列表及适用的奖项条款可在 MathDB 和孙宇晨奖官网查询。

所有奖项均须经过资格核查，符合反洗 钱与制裁相关法律，并遵守官方奖项规则。

为扩大前沿研究的覆盖面与影响力，MathDB 试点项目不只奖励数学问题的解答，还鼓励对这些解答进行生动通俗的普及与阐释。奖金分为三部分：数学解答占 50%，Lean 形式化验证占 30%，高质量的阐释与科普材料占 20%。

MathDB 是一个大型社区数据库，汇集数学定义、定理、猜想与未解问题，旨在让数学知识更易于整理、关联和持续构建。项目在提供数学解释与配套研究材料的同时，还整合了 Lean 形式化与自动证明验证能力。加州理工学院余越教授及其团队将主导本次试点的学术工作。

“解决一个基础数学问题，收获往往远不止于原问题的答案，” 余越表示，“过程中可能冒出意想不到的关联，带来强大的新工具，并开辟全新的研究方向，而这些进展的影响力能跨越世代和学科。”孙宇晨奖看重的正是这种探索精神——它让人们关注难题，支持迎难而上的研究者，也鼓励知识走向公众。我们与孙宇晨奖合作，是因为我们都相信：以去中心化、严谨、可验证的方式做基础研究，能加速发现、加快科学进步，推动人类文明向前。”

完整参评题目列表、提交要求及评审流程将通过 MathDB 与孙宇晨奖官网公布。

据悉，孙宇晨办公室为其本人的全球商业、慈善与公共事务提供支持，覆盖技术、区 块链、人工智能、科研、投资、艺术和太空探索等领域。

孙宇晨曾任格林纳达驻世界贸易组织大使兼常驻代表，也是波场 TRON 的创始人。作为引领稳定币变革的头部区 块链网络，波场 TRON 自成立以来已处理超过 13 万亿美元的交易。在全球各地的新兴市场，无数用户借助波场 USDT 获取全球金融服务。

作为阿里巴巴创始人马云的门生，孙宇晨深耕数字资产行业，赢得了国际认可，不仅于 2025 年 4 月登上《福布斯》专题封面，还曾多次入选《福布斯》“30 岁以下精英榜”（30 Under 30）。 2025 年 8 月，他随蓝色起源 NS-34 任务飞赴太空，成为史上第 712 位太空旅行者。此外，他的关注领域十分广泛，横跨技术、投资、慈善、艺术、游戏和太空等多个领域。

孙宇晨奖由孙宇晨本人创立，是一项学术赏金计划，旨在推动数学、形式化验证和 AI 辅助科学发现等领域的发展。该奖项秉持去中心化理念：对数学成果的评判，应完全取决于证明本身的论证力度、严谨性与可验证性，而与提交者的声望或名气无关。

孙宇晨以个人名义设立该奖，将其作为一项长期承诺：把通过数学与技术创造的财富回馈给数学本身。该奖项将界定清晰的数学难题与机器可验证的证明紧密结合，始终以开放、公益和开源为指导原则。其长远价值在于它所表彰的研究成果，以及那些成果经得起时间考验的获奖者。