孫宇晨獎確認Neel Somani為最新獲獎人！成功解出JSP-000239、JSP-000327兩道數學題

幣圈子(120btc.CoM)：北京時間10月28日晚間，孫宇晨獎官方社交帳號正式發布最新一期獲獎者特寫，確認知名量化研究員Neel Somani成功斬獲該獎項，成為題庫中JSP-000239號與JSP-000327號兩道難題的官方認證解題者。官方榮譽榜單已將其正式登載為2026年度數學解題人，並與對應的代碼形式化驗證者並行記錄。

作為畢業於加州大學伯克利分校、兼具數學、計算機與工商管理三學位的交叉學科背景學者，Somani曾任職於頂級對沖基金Citadel擔任量化研究員，其學術成果曾入選USENIX Security與OOPSLA等計算機系統頂級會議。此前，他曾借助形式化交互證明工具Lean成功排查出CPython底層排序算法的性能退化漏洞。

在攻克首道難題JSP-000327------即探究在特定約束條件下相異中央二項式係數乘積之間是否存在有限個等式時，他開創性地將傳統數學推導與前沿算法深度綁定。在將命題輸入GPT 5.2 Pro模型獲取初步組合學線索後，他通過嚴密的手動代數演算驗證了命題的成立依據。該解法在提交至專業學術論壇的當夜，便獲得了數學家Daniel Larsen的實質性獨立驗證，隨後由Harmonic團隊研發的數學工具Aristotle自動產出了對應的Lean形式化代碼，實現了從自然語言猜想到機器可讀證明的完整閉環。

組建高校團隊系統掃題

在首戰告捷之後，Somani將個體研究迅速擴展為工業化的人機協作工程。他聯合來自加州大學伯克利分校、西北大學以及萊斯大學等多所高校的優秀本科生組建專項攻關團隊，全面接入大語言模型對埃爾德什（Erdős）開源題庫展開系統性的地毯式篩查。

在這一流水線式的攻關體系下，團隊成功攻克了第二道難題JSP-000239------即驗證無限剩餘類覆蓋是否能由有限子族在測度密度上實現均勻逼近。對於跑通的邏輯路徑，團隊統一交由Aristotle工具進行底層形式化代碼轉譯。更具方法論價值的是，Somani在其個人技術博客中系統沉澱並開源了一套針對AI大模型在解決複雜數學邏輯時頻現偏差的"失敗案例本體論"，旨在幫助學界精準定位AI在形式化推理中的瓶頸邊界。Somani在獲獎感言中對孫宇晨團隊的資助表達了感謝，並強調過去一年AI在數學推理維度的演進令人矚目，而代碼形式化不僅能用於純數學定理的審查，更能成為保障通用軟件系統絕對正確性的關鍵工業工具。

鏈上資金閉環規範發放機制

從候選提名到正式跻身榮譽殿堂，整個評審體系遵循了嚴密的鏈上與開源社區審計規範。根據GitHub官方獎金代碼倉庫中編號為5051的提案記錄顯示：

• 節點一：兩道題目的解題候選方案於9月30日正式提交並掛網進入公眾審議期；

• 節點二：歷經14天的開源社區同行評議無異議後，於10月14日正式移入最終獲獎名冊，項目發起人孫宇晨亦於同日向外界證實兩道題目均已順利通過形式化驗證；

• 節點三：北京時間10月28日晚間，官方正式公布獲獎者深度訪談，完整披露解題現場細節。

在財務與獎金兌付機制方面，該獎項設立了清晰的權責劃分規則。根據官方細則，單道題目的獎金池嚴格按照解題人占70%、Lean形式化代碼轉譯人占30%的比例實施切分；若同一位學者獨立兼任兩項職能，則可獨享全額獎金。最高層級的Pinnacle獎項金額高達100萬美元，其餘層級則視難度評級執行，所有獎金統一通過USDT與USDC兩種主流合規穩定幣進行鏈上支付。為防範網絡欺詐與隱私洩露風險，公示期屆滿後，獲獎者須通過官方加密郵箱通道提交身份信息與收款地址以完成線下核驗，嚴禁在GitHub公開討論區貼出私鑰或鏈上地址.

本內容僅供參考，不構成任何金融、投資、法律或稅務建議。文中提及的任何活動、獎勵、線上活動或相關資訊，不應被視為對購買、出售或交易任何加密資產的推薦、招攬或邀請。加密資產具有高波動性，存在價值損失風險。WEEX服務、產品及相關活動的可用性可能因地區而異。用戶在參與前有責任確保符合當地適用法律法規。