孫宇晨：設立孫宇晨獎，獎勵經機器核驗的數學證明

ChainCatcher 消息，波場 TRON 創始人孫宇晨發文宣布設立"孫宇晨獎"，目前只關注數學。他稱該獎跟隨題目而非個人，不等年會、提名或年齡限制；每道題分兩欄署名，一欄記證明者，一欄記將證明形式化並寫入機器的人，兩者可為同一人，亦可為人、AI 或人使用 AI。獎金觸發條件為機器將證明從第一行核驗至最後一行且無差錯，核驗通過後兩欄名單即為該題獎金所有者。

規則還包括：機器核驗前，若數學界已接受人類證明，可先掛名，獎金不動，狀態為"已證明，待形式化"。證明欄獎金只付給題目上架之後才被解決的題；上架時已解決的題目，證明者仍記名，獎金只付給完成形式化的人，不為數學史補發獎金。題單由孫宇晨簽字決定上架題目與定價，一旦掛出則只加不減、錢只兌不退，寫錯的題照付後再重掛；定價之外，驗證、發錢、掛名其本人不參與投票。

孫宇晨表示，公益重心將轉向該獎，首期獎池已打入區塊鏈，地址與餘額公開，其僅保留繼續注資的權利；獲獎證明與獎金發放均將公開上鏈。他稱用人名命名是為避免機構更迭帶來的改名，並稱財富來源於數學，希望"從數學來，回到數學去"。