这几天,孙宇晨又整了个大新闻。
这一次,他说要给数学家发100万美元。不过不是因为加密货币,也不是因为和曾颖那场闹得沸沸扬扬的3000万彩礼官司,而是突然宣布了一件谁都没想到的事情:他要办一个数学奖。
9月16日,孙宇晨正式推出The Justin Sun Prize(孙宇晨奖),官网首页直接挂出一句相当高调的话:打造AI时代的诺贝尔奖。
首批一次性放出了66道数学难题,每道题最高奖金100万美元。只要有人证明出来,就能分钱;如果有人把证明进一步写成AI能够自动验证的代码,还能再拿一部分奖金。奖金全部使用USDT、USDC发放,奖池放到区块链上公开,每一笔都能查。
消息刚出来的时候,很多人第一反应不是数学,而是孙宇晨。
毕竟前脚还因为官司天天上新闻,后脚突然宣布要奖励数学家,这个转弯,多少有点猝不及防。
有人笑着说:”别人烧香拜佛,他开始拜数学了。”
也有人翻出前女友曾颖以前那句调侃:”为什么没有语文奖?是不是怕最后要把奖颁给我。”
玩笑归玩笑,但认真看完规则之后,不少人发现,这件事还真不是随便拍脑袋想出来的。
传统数学大奖,其实大家都知道怎么玩。
数学家先做研究,发表论文,再经过同行评审,最后由各种委员会决定要不要颁奖。像菲尔兹奖四年一次,还规定获奖人不能超过40岁;阿贝尔奖则更偏向奖励那些研究了一辈子的老教授。
整个流程慢得很,一项成果从发表到真正拿奖,隔上好几年都是常事。
孙宇晨却反过来了。
他没有等别人做出来,而是先把题目摆出来,奖金也提前放在那里,告诉全世界:”谁能解出来,谁就拿钱。”
学历不限,学校不限,国籍不限,一个人可以,团队可以,甚至AI和人一起合作也可以。
听起来很简单,但真正难的地方,在后面。因为这个奖有一个特别奇怪的要求,所有证明必须用Lean重新写一遍。
简单来说,就是不能只告诉大家”我证明出来了”,而是要把整个推导过程全部转换成计算机能够一行一行检查的代码,让机器自己跑完整个证明过程。只有AI也承认你没写错,这笔奖金才真正属于你。
很多人觉得孙宇晨是在炒作,但实际上,他踩中的,刚好是今年数学界最热的话题。
就在几天前,OpenAI公布了一项研究成果。他们组织了将近一万个AI智能体,连续工作88个小时,最终给出了三维纳维—斯托克斯方程存在性与光滑性问题的证明,还公开了一百六十多页论文,以及完整的Lean验证代码。
这个名字听着有点拗口,但它其实就是世界数学界最有名的七道”千禧年难题”之一。
悬赏100万美元。全世界数学家研究了快一百年。OpenAI一公布成果,整个学术圈都炸了。
孙宇晨几乎是第一时间站了出来,宣布把自己首届100万美元大奖直接颁给OpenAI团队。
结果,OpenAI没要。不是只拒绝了孙宇晨,而是连克雷数学研究所那100万美元奖金,他们也没有去领。
原因是因为这份证明,目前还没有得到整个数学界认可。
事情很快又出现了新的反转。
纽约大学教授Tristan Buckmaster公开表示,自己和Anthropic的一位研究员,其实早就在类似方向取得了相近成果,而且也已经完成了Lean形式化验证。
他质疑,OpenAI训练AI的时候,到底有没有接触过这些尚未公开的研究内容。
面对质疑,OpenAI回应得也很谨慎。
他们表示,研究团队和AI之间并没有共享这些成果,但也承认,无法百分之百排除训练数据里曾经包含过相关信息。
换句话说,这件事情,到今天依然没有真正盖棺定论。
所以,孙宇晨把这个成果直接作为自己数学奖的第一个招牌,多多少少还是有点冒险。毕竟,一个还在争议中的研究,到底能不能代表数学的新未来,现在谁也说不好。
而早在2019年,孙宇晨花了456万美元拍下巴菲特午餐,结果临时说自己得了肾结石,延期好几个月,最后虽然饭还是吃了,但”营销大于内容”这个标签,也一直跟着他。
2024年,他又花620万美元买下那根贴在墙上的香蕉,当着全世界媒体的面,一口一口把它吃掉。
每一次,他都知道,全网一定会讨论自己。
所以这次数学奖出来以后,也有人怀疑,这是不是又是一场流量营销。不过,这一次,他倒确实做了一件以前很少有人做的事情。
9月22日,他公开了整个奖池地址。所有奖金全部放在区块链上,任何人都可以查询余额、资金流向和奖励发放情况。规则里面甚至明确写着,他以后可以继续增加题目、增加奖金,但不能把已经放进去的钱拿回来。
至少在透明度这件事情上,这套机制确实比不少传统奖项更直接。
真正值得关注的,其实不是孙宇晨。而是AI。
今年以来,越来越多数学家开始意识到,未来真正稀缺的,也许已经不是会解题的人,而是会提问题的人。
著名数学家陶哲轩就在OpenAI公布成果之后说过一句话:”未来,好问题可能会比好答案更加珍贵。”
以前,科研拼的是谁计算得更快、谁熬夜更多、谁经验更丰富。以后,也许还要比一件新的事情:谁更懂得怎么和AI合作。
至于”孙宇晨奖”会不会真的变成AI时代的诺贝尔奖,现在谁也不敢下结论。诺贝尔奖花了一百多年,才建立起今天的公信力;而一个刚刚诞生的新奖项,要面对的不只是数学家的认可,还有整个学术界对它的信任。
不过有一点,倒是已经越来越清楚了。
AI正在改写科研的玩法,而孙宇晨,是第一个把这件事,做成了一场全世界都能看见的实验。
*以上内容系网友指点山河自行转载自澳洲红领君,该文仅代表原作者观点和态度。yeeyi号系信息发布平台,仅提供信息存储空间服务,不代表赞同其观点和对其真实性负责。如果对文章或图片/视频版权有异议,请邮件至我们反馈,平台将会及时处理。