孫宇晨宣布設立「孫宇晨獎」，旨在解決數學界難題

BlockBeats 消息，9 月 16 日，孫宇晨宣布設立以其本人命名的數學獎，未來將把公益重心轉向該獎項。他表示，自己的財富根源於數學及密碼學，希望通過設立獎項，讓資金「從數學來，回到數學去」。該獎項將重點關注數學證明與形式化驗證，並以人工智能快速發展的背景為契機，推動數學成果更高效地完成機器驗證。

該獎項不設年齡、提名及固定頒獎週期，每道題目設置「證明者」和「形式化者」兩欄，分別記錄完成數學證明以及將證明正式搬入機器並通過驗證的人員。只有當機器從第一行至最後一行完整核驗通過後，獎金才會觸發發放；已被數學界解決但尚未完成形式化的題目，將保留證明者姓名，待形式化完成後再確定獎金歸屬。

孫宇晨表示，該獎項首期獎池已經打入區塊鏈，地址公開，餘額全世界可見，其本人並僅保留繼續向獎池注資的權利。每份獲獎證明及獎金發放記錄都將公開並保存在鏈上，以便任何人獨立驗證。自己並非數學家，能夠做的是為數學證明者提供資金支持，「剩下的，交給證明」。