2026年的费城，国际数学家大会如火如荼。当王虹和邓煜站在菲尔兹奖奖牌的光芒中，那一刻，仿佛凝固了北大数学黄金一代的辉煌。而与此同时，数千公里之外，在私人飞机的舒适卧室里，曾经与他们同窗的孙宇晨，正漫不经心地刷着知乎。这三人，十九年前都怀揣着梦想，从中国的桂林、深圳、惠州出发，踏上了求学之路。
孙宇晨深知这份馈赠的重量，他曾坦言：我从数学的这份馈赠里拿走了太多，现在是时候开始偿还了。这不仅仅是一场简单的奖项设立，而是他想要做的，一种对数学界的致敬。传统的数学奖项，步履缓慢，宛如穿越了时空，在人工智能爆炸的时代，显得格格不入。菲尔兹奖四年才颁发一次，且严格限制获奖者的年龄在四十岁以下，而阿贝尔奖虽然每年颁发，但奖励的往往是暮年学者的终身成就。这种迟缓的节奏，在充满革新的今天，显得有些老旧。 这让孙宇晨想起了数学界曾经的另一种风貌：传奇数学家保罗·埃尔德什，他一生都带着一个破旧的箱子，游走于世界各地，寻找尚未解决的难题。每当遇到一个难题，他就会当场开出赏金，从25美元到1万美元不等。数学家们拿到支票，往往小心翼翼地裱起来，珍藏如宝，当做无上的荣誉。1986年，埃尔德什先生去世后，这充满江湖气的数学赏金便渐渐消失在历史的长河中。 孙宇晨的奖项，本质上就是一种区块链版本的埃尔德什赏金系统，规则简洁明了，直白得近乎硬碰硬。奖金与题目紧密相连，而非与人名挂钩。它摒弃了繁琐的学术委员会，不需要业内大佬的推荐信，不看年龄，不问出身。一旦题目被发布在链上，对应的赏金便会被锁定进智能合约，即使是孙宇晨本人，也无法随意修改或撤销。为了公平起见，获奖名单被特意划分为两栏，一栏记录解题者，另一栏则记录形式化者。 这个形式化的概念，对于许多人来说，可能有些晦涩。数学家们写的证明，往往绵延数百页，字里行间充满了思维的跳跃、直觉的判断和未尽的推理。形式化，就是将这些自然语言证明，一行行地翻译成Lean或Coq这类机器能够理解的逻辑代码，将人类的直觉，转化为机器能够验证的逻辑。 菲尔兹奖得主彼得·舒尔茨，曾提出了极度抽象的凝聚数学理论。在核心定理的逻辑链条是否完备时，他甚至一度心存疑虑。于是，他大胆地发起了一场液体张量实验，邀请全球的程序员和数学家，共同将他的证明搬进Lean语言。数月之后，计算机编译器流畅地输出了一行字：编译成功。那一刻，舒尔茨才终于确定，自己的定理完全站得住脚。 孙宇晨的奖项，正是遵循着这个标准来验证证明的逻辑。只要机器能够一步不差地完成证明，从第一行到最后一行，智能合约就会瞬间自动打款。无论你是高校的资深教授，还是刚毕业的博士生，甚至是数据中心里运行的AI，只要能够独立推导出逻辑，并独自完成形式化流程，钱和荣誉都将名正言顺地属于它。奖金的归属完全由机器决定，而孙宇晨则只保留了写题单、为每道题定赏金价格的权力，他甚至放弃了对获奖名单的任何表决权。 机器未通过验证，任何关系都无法改变结果；机器一旦通过验证，资金会瞬间划拨，没有任何缓冲空间。这种机制，很容易让人联想到一百多年前的诺贝尔。1888年，一份报纸错误地将诺贝尔哥哥的讣告刊登出来，标题耸人听闻：《死亡商人死了》。正是这个意外的讣告，让诺贝尔重新思考了自己积累的财富的意义，几年后他立下遗嘱，将全部遗产用于设立奖项，奖励那些为人类做出最大贡献的人。 诺贝尔依靠硝化甘油炸药积累了巨额财富，而他奖励的是物理、化学和工程领域的实用创造。而孙宇晨，则依靠区块链积累了财富，他选择奖励的，是悬浮在数据中心里、纯粹由逻辑构建的空中王国。在1940年，数学家哈代写下了《一个数学家的辩白》，并以一种近乎自豪的姿态宣称，数论永远不会有任何实际用途。然而，仅仅八十年之后，数论就成为了支撑整个数字文明安全的基础。 没人能确定孙宇晨的举动是真心想回报数学界，还是币圈又一次博人眼球的炒作。毕竟，人们很难放下对孙哥蹭热度的固有印象。目前，面对着这诸多疑问，摆在面前的只有两件事：孙宇晨到底准备往智能合约里锁入多少赏金？是否真的有人愿意接下这份悬赏，与他一同将这套规则运行下去？但对于那些埋头苦干的数学家们来说，标准从未如此直白过。它不讲究论资排辈，无需等待人脉介绍，也不需要等待四年一次的评选窗口。难题挂在链上，赏金锁在合约里，机器验证，就是你的。
