孙宇晨设立 Justin Sun 奖，单题最高奖金 100 万美元

Techub News 消息，孙宇晨办公室宣布设立 Justin Sun 奖，这是一个基于“问题清单”的零信任、去中心化学术悬赏机制，以基础学科突破和机器形式化验证为授奖标准，单个问题最高奖金达 100 万美元。该奖项旨在重新定义 AI 时代的科学奖励，并通过人与 AI 的协作加速基础科学研究。 首批获奖名单同时公布，认可了涉及 66 个数学问题的解决方案和形式化证明。其中，100 万美元的最高奖授予 OpenAI 研究团队，以表彰其对三维纳维-斯托克斯方程存在性与光滑性问题的解决方案和形式化证明。根据 OpenAI 发布的信息，相关证明由其内部模型生成，Lean 形式化及验证由 GPT-6 Astra 完成。 该奖项遵循开放、公益和开源三大核心原则，问题清单、确认标准、证明及验证材料均通过 GitHub 公开，奖金发放记录上链以确保永久可追溯和不可篡改。孙宇晨表示，以个人命名的奖项是世界上最不政治的事情，更重要的是，这给了他一个自我答案——他的财富植根于数学，来自数学，也将回归数学。（NewsBTC）