Justin Sun 設百萬美元數學獎 首位得主是 OpenAI
Tron 創辦人 Justin Sun 的辦公室周三（16 日）在瑞士日內瓦宣布設立「Justin Sun Prize」數學獎，以一份公開的難題清單為基礎，每道難題最高獎金 100 萬美元，並即時把第一筆 100 萬美元頒予 OpenAI 研究團隊，表揚其三維 Navier-Stokes 方程的證明。
獎項不設提名，亦不要求學歷，第一個完成合資格突破的人即可獲獎，而且不區分人類與 AI。獎金分別頒予解出問題的「證明者」，以及把證明轉寫成電腦可驗證程式碼的「形式化者」，證明須以 Lean 定理證明器完成形式驗證。首份清單共 66 道問題，包括黎曼猜想、哥德巴赫猜想、龐加萊猜想的形式驗證，以及數學家 Paul Erdős 留下的未解問題。
公告引述 Justin Sun 表示：「我的財富來自數學，也會回歸數學。」獎金以穩定幣 USDT 或 USDC 支付。
OpenAI 的證明仍有爭議
OpenAI 在 9 月 8 日公布，其未公開的內部模型證明三維不可壓縮 Navier-Stokes 方程可以在有限時間內出現奇點，即流體方程的解會「爆破」。據公告，證明由 OpenAI 內部模型產生，Lean 形式化及驗證則由 GPT-6 Astra 完成。
Navier-Stokes 方程的存在性與光滑性，是克雷數學研究所（Clay Mathematics Institute）在 2000 年列出的七個千禧年大獎難題之一，每題獎金 100 萬美元。不過，克雷研究所至今仍未接納 OpenAI 的證明，網站上該題仍列為未解決。據 Implicator 報道，研究所所長 Martin Bridson 表示評審會「刻意不急」而且「絕對嚴謹」，而 OpenAI 表示不會申領克雷研究所的獎金。
同一報道指，爭議在於 OpenAI 的構造加入了一個光滑的外力。問題的官方表述容許這種情況，但不少數學家認為沒有外力的版本才是真正的難題。紐約大學數學家 Tristan Buckmaster 亦指，他與研究員 Levent Alpöge 較早已在相關方向取得成果。
項目 | 內容 |
|---|---|
最高獎金 | 每道難題 100 萬美元 |
首份清單 | 66 道數學問題 |
驗證要求 | 以 Lean 完成形式驗證 |
參與資格 | 不設提名及學歷門檻，人類與 AI 均可 |
首位得主 | OpenAI 研究團隊（Navier-Stokes 方程） |
來源
- Justin Sun establishes the Justin Sun Prize: "My wealth came from mathematics and will return to mathematics"（原始文件，新聞稿）
- On the Navier–Stokes Millennium Prize Problem（原始文件，OpenAI）
- AI Has Solved One of Math's $1 Million Millennium Prize Problems（Quanta Magazine）
- Clay Institute Won't Call Navier-Stokes Solved by OpenAI（Implicator）
No comments yet
提交留言即表示你已閱讀我們的私隱政策。