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