#scientific

孙宇晨设立孙宇晨奖：“我的财富来自数学，也将回归数学”

孙宇晨奖第一批获奖者名单也同时公布，表彰涉及 66 个数学问题的解决方案和形式化证明。价值 100 万美元的最高奖项授予了 OpenAI 研究团队，以表彰其解决方案以及对三维纳维-斯托克斯方程问题的存在性和平滑性的形式化证明。相反，它将奖项直接与数学问题和机器可验证的形式化证明联系起来。