⌘ K
… 读取采集状态 同步中...
雷
原文
三节课·· 15 天前AI 评分1

宣称对标诺奖,孙宇晨创立“孙宇晨奖”

AI 导读

宣称对标诺奖,孙宇晨创立“孙宇晨奖” 9月16日,波场TRON创始人孙宇晨宣布设立以本人名字命名的“孙宇晨奖”(The Justin Sun Prize),首期主要面向数学难题破解和形式化验证。奖项官网将其定位为“AI时代的诺贝尔奖”,称希望通过公开题目、机器验证和奖金激励,推动数学研究以及人机协作。根据目前公布的规则,最高级别“Pinnacle”单个题目奖金为100万美元。 最高奖金100万美元 “孙宇晨奖”与传统学术奖项的运行方式有所不同。奖项围绕公开的数学问题清单设置,不限定参与者国籍、机构和学术身份,专业研究人员、独立研究者、人机协作团队乃至AI系统均可以参与。 奖项将贡献者主要分为“问题解决者”和“Lean形式化验证者”两类。前者负责解决数学问题,后者负责把证明转化成可以由计算机核验的形式化证明。按照现行规则,奖金原则上由解决者获得70%,形式化验证者获得30%;如果由同一个人或团队完成两项工作,则获得全部奖金。提交成果通过形式化验证后,还需要进入奖项的评估程序,并非机器验证通过即自动获得奖金。 首批名单涉及66个数学问题。孙宇晨奖方面宣布,将100万美元最高奖授予OpenA

本文当前提供导读和图片预览,完整图文请查看原文。

来源:三节课 · mp.weixin.qq.com