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

ChainCatcher 消息，波場 TRON 創始人孫宇晨發文宣布設立“孫宇晨獎”，目前只關注數學。他稱該獎跟隨題目而非個人，不等年會、提名或年齡限制；每道題分兩欄署名，一欄記證明者，一欄記將證明形式化并寫入機器的人，兩者可為同一人，亦可為人、AI 或人使用 AI。獎金觸發條件為機器將證明從第一行核驗至最后一行且無差錯，核驗通過后兩欄名單即為該題獎金所有者。 規則還包括：機器核驗前，若數學界已接受人類證明，可先掛名，獎金不動，狀態為“已證明，待形式化”。證明欄獎金只付給題目上架之后才被解決的題；上架時已解決的題目，證明者仍記名，獎金只付給完成形式化的人，不為數學史補發獎金。題單由孫宇晨簽字決定上架題目與定價，一旦掛出則只加不減、錢只兌不退，寫錯的題照付后再重掛；定價之外，驗證、發錢、掛名其本人不參與投票。 孫宇晨表示，公益重心將轉向該獎，首期獎池已打入區塊鏈，地址與余額公開，其僅保留繼續注資的權利；獲獎證明與獎金發放均將公開上鏈。他稱用人名命名是為避免機構更迭帶來的改名，并稱財富來源于數學，希望“從數學來，回到數學去”。

• 喜歡使用社交軟體關注？關注我們的 Twitter，或者加入 Telegram！
• 想關注最新資訊？ 下載CoinCarp App吧
• 有新聞需要爆料，官方公告需要發布? 來給我們發郵件吧！[email protected]