币圈界报道：

孙宇晨启动百万美元数学奖：推动形式化证明与AI协同创新

波场（Tron）创始人孙宇晨正式推出“孙宇晨奖”（Justin Sun Prize），打造一个基于去中心化机制的数学研究激励体系。该奖项聚焦基础数学与机器形式化验证方向，单题最高奖励达100万美元，旨在激发全球科研力量在核心理论层面实现关键跃迁。

双轨激励机制：证明者与形式化者并行竞逐

奖项设置“证明者”与“形式化者”两大类别，分别针对提出数学问题解法的个体或团队，以及将抽象证明转化为可被计算机验证代码的贡献者。孙宇晨明确表示，人类与人工智能均可参与角逐，不设身份门槛。

区别于传统学术荣誉体系，“孙宇晨奖”采用即时响应机制，不依赖周期性评审或资历审查。只要提交的解决方案经验证符合标准，即可触发智能合约自动发放奖金，确保过程透明高效。

首期成果揭晓：OpenAI团队攻克千禧年难题

随着奖项落地，首批66项数学问题的解决成果公布。其中，价值100万美元的头奖授予了OpenAI研究团队，因其在“三维纳维-斯托克斯方程存在性与光滑性”问题上完成理论突破，并生成完整的机器可验证形式化证明。

该问题自2000年起被克雷数学研究所列为七大千禧年大奖难题之一。据披露，其成果源于一个由10,000个协同代理构成的内部AI系统，通过大规模分布式推理实现关键突破。

尽管成果备受瞩目，但其引发争议：部分学者质疑人工智能在未发表研究中的角色界定，以及由此带来的原创性认定与学术伦理挑战，也促使学界重新审视前沿技术对科研范式的深层影响。