孙宇晨设立数学奖，奖金通过区块链发放

TRON创始人孙宇晨宣布设立贾斯汀·孙奖，这是一项数学奖项，将以区块链奖励机制向证明作者及负责将证明转化为机器验证格式的专家发放奖励。该计划旨在使验证和付款公开且自动化，资金将在证明完全形式化之前保持锁定。

奖项如何运作

孙宇晨表示，该奖项将不同于传统数学奖项，因为其不设年龄限制、类别或年度颁奖典礼。

每个问题可有两名获奖者：一名“证明者”，即撰写数学证明的人；以及一名“形式化者”，即将其转换为机器可验证格式的人。同一人可以同时承担两种角色，也可以由不同参与者分别完成。

孙宇晨表示，无论结果由人类、人工智能，还是两者结合产生，均不影响获奖资格。只有当机器从头到尾逐行验证证明且不存在错误后，才会发放奖励。

如果数学界已接受一项证明，但该证明尚未完成形式化，参赛条目将被标记为“已证明，待形式化”。相应资金将继续锁定，直至形式化完成。

该奖项随后公布了首批66道经典数学问题，口号为“66道问题。一个前沿。”

孙宇晨表示，他的权限将仅限于编制问题清单和设定奖励金额。一旦某个问题进入登记册，便无法移除，已存入的资金也无法提取。

“我不是数学家。我只是一个观察者和资助者。其余交给证明。”孙宇晨说。

据孙宇晨称，初始奖池已被转移至链上。他表示，其地址公开，余额可被独立验证。

X用户Chau Le称，该计划是数学、区块链、人工智能和形式化验证的交汇。Le表示，其机制体现了区块链独立验证结果而非信任中介的原则。

另一名X用户Kaisen表示，该奖项分别奖励产出证明以及将其转换为机器可验证格式的工作，而非奖励声誉或地位。Kaisen还表示，由问题、证明和链上付款构成的公开登记册，可能为数学成果提供长期记录。

孙宇晨表示，他设立该奖项是因为其大部分财富源于支撑密码学和区块链的数学原理。他还表示，人工智能的进步正通过加快证明的发现和形式化，开启数学的新纪元。

孙宇晨此前成为自称支持区块链技术的自封国家利伯兰的总理。2025年，他在支付2800万美元后参加了蓝色起源的NS-34太空任务。