幣界網消息，孫宇晨推出了一項100萬美元的數學獎，旨在獎勵解決問題者及將證明轉化為機器可驗證格式的參與者。該獎項將對66個數學問題的解決方案和機器可驗證的正式證明進行獎勵，其中OpenAI研究人員因在Navier-Stokes問題上的工作而成爲首批獲獎者。該倡議將數學、人工智能和形式驗證結合在一起，允許人類、人工智能系統以及人類-人工智能團隊在不需要學術資格的情況下進行競爭。