贾斯廷·孙奖与MathDB合作，由加州理工学院教授Tony Yue Yu领导，推出50个问题的试点项目

瑞士日内瓦 --- 2026年10月26日 --- 贾斯廷·孙办公室今天宣布与MathDB合作推出贾斯廷·孙奖的试点项目。MathDB是由加州理工学院教授Tony Yue Yu及其团队开发的数学研究平台。

贾斯廷·孙奖的设立旨在成为“人工智能时代的诺贝尔奖”，以更去中心化、规范化和机器驱动的方式回应新纪元科学研究和激励机制的深刻变革。问题级别的奖项可达100万美元，具体取决于适用的奖项条款和资格要求。

此次合作通过MathDB引入了提交和审查流程。MathDB将接受解决方案提交，验证Lean形式化，并审查说明材料，而贾斯廷·孙奖将单独评估资格、归属、优先级和适用的奖项条款。

“人工智能正在改变数学探索的速度，但仅仅速度并不代表科学进步，”贾斯廷·孙表示，他是贾斯廷·孙奖的创始人。“机会在于创建一个框架，使人类洞察力和机器智能能够共同工作，而不妥协于严谨性。与MathDB的合作将数学发现和机器可验证的证明融入同一过程，我们相信这可以帮助定义未来发现的更严格模型。”

该试点涵盖50个问题，分为四个奖项级别，问题级别的奖池最高可达100万美元，具体取决于问题。最高级别包括P与NP问题、黎曼猜想、杨-米尔斯存在性与质量间隙、霍奇猜想、全球朗兰兹函子性以及Birch和Swinnerton-Dyer猜想等。参与问题的完整列表和适用的奖项条款将通过MathDB和贾斯廷·孙奖发布。

所有奖项均需经过完整的资格验证，遵守反洗钱（AML/制裁）法律，以及可在 https://www.hejustinsun.com/prize 上找到的官方项目规则。

为了扩大先进研究的覆盖面和影响力，MathDB试点项目不仅将奖励数学问题的解决方案，还将奖励这些解决方案的引人入胜和易于理解的传播。奖励分为三个类别：50%用于数学解决方案，30%用于Lean形式化，20%用于合格的说明。

MathDB是一个大规模的数学定义、定理、猜想和开放问题的社区数据库，旨在使数学知识更易于组织、连接和构建。该项目结合了Lean形式化和自动证明验证能力，以及数学解释和支持研究材料。加州理工学院的Tony Yue Yu教授及其团队将领导试点的科学方面。

“解决一个基本的数学问题往往会带来比原始问题的答案更多的东西，”Yu说。“这个过程可以揭示意想不到的联系，引入强大的工具，并开启全新的研究方向。这些发展可以对跨代际和跨学科产生影响。贾斯廷·孙奖通过关注具有挑战性的问题、支持追求这些问题的研究人员以及鼓励知识的公众传播，庆祝这种探索精神。我们与贾斯廷·孙奖的合作基于这样的信念：通过去中心化、严谨和可验证的方法追求基础研究可以加速发现和科学进步的步伐，并为人类文明的进步做出贡献。”

参与问题的完整列表、提交要求和审查程序将通过MathDB (https://mathdb.com/) 和贾斯廷·孙奖 (https://www.hejustinsun.com/prize) 发布。

关于贾斯廷·孙办公室

贾斯廷·孙办公室支持贾斯廷·孙在技术、区块链、人工智能、科学研究、投资、艺术和太空探索等领域的全球业务、慈善和公共倡议。

贾斯廷·孙是格林纳达驻世界贸易组织大使及前常驻代表，也是TRON的创始人。TRON是稳定币革命的领先区块链，自成立以来处理了超过13万亿美元的交易量。在世界的新兴市场中，人们依赖TRON上的USDT来接入全球金融系统。

作为阿里巴巴创始人马云的门徒，孙因其在数字资产行业的工作而获得国际认可，包括2025年4月的《福布斯》封面特写和多次入选《福布斯30位30岁以下精英》名单。2025年8月，他乘坐蓝色起源的NS-34任务飞行，成为历史上第712位进入太空的人。他的广泛兴趣涵盖技术、投资、慈善、艺术、游戏和太空探索。

关于贾斯廷·孙奖

贾斯廷·孙奖是贾斯廷·孙设立的学术倡议，旨在支持数学、形式验证和人工智能辅助科学发现的进步。该奖项是去中心化的，建立在数学工作应根据证明本身的强度、严谨性和可验证性进行评判，而不是根据提交者的声望或名望的原则之上。

贾斯廷·孙以自己的名字设立该奖项，作为长期承诺，将通过数学和技术创造的财富回馈于数学本身。其遗产旨在通过其所认可的工作成果和经得起时间考验的获奖者的发现来定义。该奖项将明确的数学挑战与机器可验证的证明联系起来。其指导原则是开放、公共利益和开源访问。

访问 https://www.hejustinsun.com/prize 获取更多信息。