我有一个大胆的猜测，

孙宇晨奖最后可能真没人领！

不是题目太难，也不是奖金太少，而是这规则太“机器”了。

之前大家以为又是蹭热度，结果他直接把钱锁进智能合约，连自己都改不了。

这操作真的挺硬核。

但问题出在“形式化”上。

要把几百页的数学证明，翻译成机器能懂的代码，这工作量比解题还大。

之前菲尔兹奖得主舒尔茨搞实验，都花了好几个月才编译成功。

现在还要分两栏署名，解题的和写代码的各拿一半。

说实话，数学家大多傲气，谁愿意跟程序员平分荣誉？

再说了，要是AI算出来的，名字归AI，这奖状挂哪儿？

孙哥想复刻埃尔德什的侠客浪漫，却忘了现在学术圈早就不流行私人支票了。

钱是到位了，可这门槛把人都拦门外了。

难怪网上都在看戏，觉得这是币圈自嗨。

毕竟，数学是人类的智力游戏，不是代码的编译测试。

你们觉得这奖能发出去吗？