扫描下载APP
其它方式登录
孙宇晨宣布设立以自己名字命名的数学奖，旨在奖励数学证明及其形式化验证，强调机器可验证性、实时激励与开放参与。该奖聚焦纯数学前沿问题，不设年龄或国籍限制，奖金触发条件为证明被机器逐行核验通过，体现其‘从数学来、回数学去’的财富观与对空中王国（基于逻辑与推理的数字文明）的价值认同。
孙宇晨设立全球首个基于题目清单的零信任、去中心化学术悬赏奖——‘孙宇晨奖’，聚焦数学重大难题的突破与机器形式化验证，首批发放百万美元奖金给OpenAI团队等解决三维纳维–斯托克斯方程等问题的贡献者，旨在以AI时代新范式加速基础科学研究。
