Justin Sun Prize与MathDB启动50个问题试点项目

今天，Office of Justin Sun与MathDB共同公布了Justin Sun Prize的试点项目。MathDB是由加州理工学院教授Tony Yue Yu及其团队创建的数学研究平台。

Justin Sun Prize的目标是成为“人工智能时代的诺贝尔奖”，通过去中心化、形式化和机器驱动的方式，适应科学研究和激励机制的深刻变化。根据奖项条款和资格要求，单个问题的奖励最高可达100万美元。

此次合作通过MathDB建立了一套提交与审查系统。MathDB负责处理解决方案提交、验证Lean形式化证明并审查说明性材料；Justin Sun Prize则单独评估资格、归属、优先权和适用的奖项条款。

“人工智能正在改变数学探索的速度，但速度本身并不是科学进步，”Justin Sun Prize创始人Justin Sun表示。“关键在于建立一个框架，让人类洞察力与机器智能能够在不损害严谨性的前提下协同工作。与MathDB的合作将数学发现和机器可验证的证明纳入同一流程，我们相信这有助于为未来的发现定义一个更严谨的模式。”

试点项目涵盖四个奖项级别的50个问题，每个问题的奖金池最高可达100万美元。最高级别包括P vs NP、黎曼猜想、杨-米尔斯存在性与质量间隙、霍奇猜想、全局朗兰兹函子性以及伯奇和斯温纳顿-戴尔猜想等。MathDB和Justin Sun Prize将公布完整的问题列表和适用的奖项条款。

每项奖励都取决于完整的资格审核、遵守反洗钱（AML/制裁）法规，以及发布在 https://www.hejustinsun.com/prize 上的官方项目规则。

为了扩大前沿研究的覆盖面，MathDB试点项目不仅奖励数学问题的解决方案，也奖励对这些解决方案清晰而有说服力的阐述。奖励分为三部分：50%用于数学解决方案，30%用于Lean形式化证明，20%用于符合要求的说明材料。

MathDB是一个大型社区数据库，收录数学定义、定理、猜想和开放问题，旨在让数学知识的组织、连接和扩展更加简便。该项目包括Lean形式化和自动化证明验证，以及数学解释和支持性研究材料。加州理工学院教授Tony Yue Yu及其团队将负责试点项目的科学方面。

“解决一个基础数学问题往往远不止给出原问题的答案，”Yu表示。“这个过程可能揭示意想不到的联系，引入强大的工具，并开辟全新的研究方向。这些发展可能产生跨越代际和学科的影响。Justin Sun Prize通过关注具有挑战性的问题、支持钻研这些问题的研究人员并鼓励知识的公共传播，来弘扬这种探索精神。我们与Justin Sun Prize的合作源于这样的信念：通过去中心化、严谨且可验证的方式开展基础研究，可以加快发现和科学进步的步伐，并为人类文明的进步做出贡献。”

完整的问题列表、提交标准和审查程序将发布在MathDB（https://mathdb.com/）和Justin Sun Prize（https://www.hejustinsun.com/prize）上。

关于Office of Justin Sun

Office of Justin Sun支持Justin Sun在全球范围内的商业、慈善和公共事业，涵盖技术、区块链、人工智能、科学研究、投资、艺术和太空探索。

Justin Sun现任格林纳达驻世贸组织（WTO）大使，曾任常驻代表，并创立了TRON。TRON引领了稳定币革命，自推出以来已处理超过13万亿美元的交易量。在新兴市场，人们通过TRON上的USDT加入全球金融体系。

作为阿里巴巴创始人Jack Ma的门生，Sun因其数字资产工作而获得国际认可，包括2025年4月登上《Forbes》封面报道，以及多次入选Forbes 30 Under 30榜单。2025年8月，他参加了Blue Origin的NS-34任务，成为第712位进入太空的人。他的兴趣还延伸至技术、投资、慈善、艺术、游戏和太空探索。

关于Justin Sun Prize

Justin Sun Prize是由Justin Sun创立的一项学术项目，旨在推动数学、形式化验证和人工智能辅助科学发现方面的进步。它是去中心化的，其理念是数学工作应由证明的强度、严谨性和可验证性来评价，而不是由提交者的威望或声誉来评价。

Sun以自己的名字设立该奖项，作为一项长期承诺，将数学和技术产生的财富回馈给数学。其遗产将由它所表彰的工作以及那些发现经得起时间考验的获奖者来决定。该奖项将明确的数学挑战与机器可验证的证明连接起来。其核心原则是开放性、公共利益和开源访问。

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