刚看完孙哥@justinsuntron新搞的孙宇晨奖，我觉得这件事挺有意思，他把数学、AI、Lean和Crypto几件看起来完全不同的东西串到了一起，也是人类第一次给Agent、Ai颁发奖项 传统数学奖更多是成果出来以后再评奖，孙宇晨奖反过来了，直接把人类还没解决的问题挂出来标上价格，谁解决谁拿钱，不等提名、不限制年龄，甚至不限制是不是人，AI自己解决、人用AI解决都可以。Lean负责验证证明，Crypto负责公开奖金和发放记录，规则其实很简单 以前Erdős也喜欢给数学难题挂悬赏，谁解出来就开支票。到了AI时代，这套玩法被放大了，AI可以同时尝试成百上千条证明路线。如果未来某个全世界都没解决的问题第一次被AI攻下来，意义就很大了：AI开始从回答人类已经知道答案的问题，走向创造人类以前不知道的知识 这甚至可能慢慢变成一个新的AI数学竞技场。以后OpenAI、Google、Anthropic、DeepSeek都可以面对同一批真正没有答案的问题，谁解决了多少、解决了什么难度，可能比很多Benchmark更有含金量 然后我觉得“孙宇晨奖”这个名字本身也挺有意思。诺贝尔、菲尔兹、阿贝尔、图灵，科学界很多流传百年的奖最后留下来的都是一个人的名字。诺贝尔当年靠炸药积累财富，后来把财富投入奖励对人类有贡献的人，一百多年以后，“诺贝尔”已经变成了一种科学和荣誉的符号 孙哥原文里有一句我很喜欢：“财富从数学来，回到数学去。” Crypto本身就建立在密码学、数论、椭圆曲线这些数学成果之上，几十年前数学家写下的一些公式，后来撑起了万亿美元级别的产业。从这些数学成果里获得财富的人，再拿钱悬赏下一代数学问题，这个循环其实挺浪漫的 至于“孙宇晨奖”这个名字，如果未来真的有一道困扰人类几十年的问题，因为这个悬赏被人或者AI解决，那时候留下来的就不只是一笔奖金了 孙哥说：“我不是数学家。我是一个旁观者，我付钱。剩下的，交给证明。”