贾斯汀·孙奖与MathDB合作启动50题试点

“孙宇晨奖”的设立旨在成为“人工智能时代的诺贝尔奖”，以更加去中心化、形式化和机器驱动的方式，应对新时代科学研究与激励机制的深刻变革。单个问题的奖金最高可达100万美元，具体金额需符合相应的奖项条款和资格要求。

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

“人工智能正在改变数学探索的速度，但速度本身并不等同于科学进步，”贾斯汀·孙奖创始人贾斯汀·孙表示，“真正的机遇在于构建一个框架，让人类洞察力与机器智能在不牺牲严谨性的前提下协同工作。 与MathDB的合作将数学发现与机器可验证的证明融入同一流程，我们相信这有助于为未来的发现确立一个更严谨的模型。” 本次试点涵盖四个奖项级别的50道数学难题，每道题的奖池最高可达100万美元，具体金额视题目而定。 最高奖级包括P与NP问题、黎曼猜想、杨-米尔斯存在性与质量间隙、霍奇猜想、全局朗兰兹函子性以及伯奇-斯温纳顿-戴尔猜想等。 参与问题的完整列表及适用奖励条款将通过 MathDB 和“孙宇晨奖”公布。 所有奖励均须经过全面的资格审核，并遵守反洗钱（AML/制裁）法律以及 https://www.hejustinsun.com/prize 上公布的官方项目规则。

为了扩大前沿研究的覆盖范围和影响力，MathDB试点项目不仅将奖励数学问题的解决方案，还将奖励对这些解决方案进行生动且通俗易懂的阐述。奖励分为三类：50%用于数学解决方案，30%用于精益形式化，20%用于符合资格的阐述。

MathDB 是一个包含数学定义、定理、猜想和未解问题的庞大社区数据库，旨在使数学知识更易于组织、关联和拓展。该项目融合了精益形式化与自动证明验证能力，同时提供数学解释和辅助研究资料。 加州理工学院的Tony Yue Yu教授将与他的团队共同领导该试点项目的科学工作。“解决一个基础数学问题，往往带来的远不止是对原始问题的答案，”Yu教授说道。 这一过程可能揭示意想不到的联系，引入强大的工具，并开辟全新的研究方向。这些进展的影响将跨越世代和学科。贾斯汀·孙奖通过聚焦具有挑战性的问题、支持致力于解决这些问题的研究人员，以及鼓励知识的公众传播，来颂扬这种探索精神。 我们与“孙宇晨奖”的合作基于这样一种信念：通过去中心化、严谨且可验证的方法开展基础研究，能够加速发现与科学进步的步伐，并为人类文明的进步作出贡献。” 参与问题的完整列表、提交要求及评审程序将通过 MathDB 和“孙宇晨奖”平台公布。

关于孙宇晨办公室 孙宇晨办公室负责支持孙宇晨在全球范围内开展的商业、慈善及公共事务，涵盖技术、区块链、人工智能、科学研究、投资、艺术及太空探索等领域。

孙宇晨是格林纳达驻世界贸易组织大使兼前常驻代表，也是波场（TRON）的创始人。波场是稳定币革命领域的领先区块链平台，自成立以来累计处理交易量已超过13万亿美元。在全球新兴市场中，人们依赖波场上的USDT接入全球金融体系。

作为阿里巴巴创始人马云的门生，孙宇晨因在数字资产行业的工作而获得国际认可，包括2025年4月登上《福布斯》封面，并多次入选“福布斯30岁以下30人”榜单。 2025年8月，他搭乘蓝色起源公司的NS-34号任务飞船升空，成为历史上第712位进入太空的人。他的兴趣广泛，涵盖科技、投资、慈善、艺术、游戏和太空探索等领域。

孙宇晨办公室联系方式： info@hejustinsun.com 关于孙宇晨奖

“孙宇晨奖”是由孙宇晨设立的一项学术计划，旨在支持数学、形式验证及人工智能辅助科学发现领域的进步。该奖项采用去中心化模式，其核心原则是：数学成果应依据证明本身的力度、严谨性和可验证性来评判，而非提交者的声望或名气。

孙宇晨以自己的名字设立该奖项，以此作为一项长期承诺，旨在将通过数学和技术创造的财富回馈给数学本身。该奖项的遗产将由其认可的学术成果以及那些经得起时间考验的获奖者所定义。该奖项将明确界定的数学挑战与机器可验证的证明联系起来。 其指导原则是开放性、公共利益和开源访问。 更多信息请访问 https://www.hejustinsun.com/prize。 媒体联系： media@hejustinsun.com _________________________________________________________________________

Bitcoin.com 不承担任何责任或义务，且对于因使用或依赖本文中提及的任何内容、商品或服务而引起或与之相关的任何形式的损失、损害、索赔、成本或费用（无论实际、声称或间接），均不承担任何直接或间接责任。 读者对上述信息的任何依赖均完全由其自行承担风险。