孫宇晨設立同名數學獎 聚焦證明與形式化驗證

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

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

孫宇晨表示，首期獎池已打入區塊鏈，地址公開、餘額全世界可見，他本人僅保留繼續向獎池注資的權利。每份獲獎證明及獎金發放記錄都將公開並儲存在鏈上，以便任何人獨立驗證。