約翰納許影子下的數學奧林匹亞選手試圖解決區塊鏈、人工智慧信任困境

在數學中，張宇豪被認為是宙斯。他說，他在中國和俄羅斯的數學奧林匹克競賽中獲得了金牌，他只用了兩年就獲得了博士學位。來自加州大學柏克萊分校。

現在，他正在嘗試解決區塊鏈和人工智慧這兩個成長最快但最複雜的領域交叉點的關鍵問題。

張領導的專注於去中心化人工智慧運算的新創公司 Hyperbolic 週四表示，它正在推出一種名為「採樣證明（PoSP）」的協議，旨在解決去中心化人工智慧網路信任方面的挑戰。

--nbsp；

雙曲線由張和擁有博士學位的金宇辰於 2022 年共同創立。華盛頓大學計算機科學博士。

該團隊表示，新協議的概念是與柏克萊大學和哥倫比亞大學的研究人員共同創建的。 Hyperbolic 在與 CoinDesk 的新聞稿中分享道，它結合了數學、電腦科學和經濟學，部署了「先進的採樣方法和博弈論來激勵完整性並最大限度地減少去中心化網路的計算需求」。

--nbsp；

28 歲的張在接受 CoinDesk 採訪時表示，他將 PoSP 視為去中心化網路的下一代驗證。

張說：「人們一開始認為驗證的方法只有一種，那就是共識。」「後來人們發現—nbsp; 樂觀證明，然後 ZK 證明。

--nbsp；

他說，現在有了PoSP，它不僅可以應用於人工智慧，還可以應用於rollups（一種第2 層區塊鏈），以及所謂的主動驗證服務（AVS），這些服務是由以下內容保護的協議： nbsp; 重新抵押協議－nbsp；如 EigenLayer。

--nbsp；

A 張和幾位合著者於 5 月 1 日向 arXiv 提交了關於採樣協議證明的研究論文，arXiv 是康奈爾大學主辦的開放獲取存儲庫，用於存儲尚未經過同行評審的科學論文。

--nbsp；

根據該論文，該設計依賴於「純策略納許均衡」。這是指受過普林斯頓大學教育的數學家約翰‧納許 (John Nash) 提出的博弈論概念，他是 2001 年奧斯卡獲獎影片的主題。 《美麗心靈》由朗霍華執導，羅素克洛主演。

--nbsp；

這是論文中的一張圖，說明了這個架構：

--nbsp；

--nbsp；

--nbsp；

作為該版本的一部分，Hyperbolic 引入了“spML”，這是專為 AI 驗證而構建的 PoSP 實作。

--nbsp；

張在新聞稿中表示：“SpML 利用 PoSP 的基本原則來創建一種驗證機制，該機制不僅更快、更安全，而且在經濟上也是可行的。”

--nbsp；

現在他們只需證明它在實踐中有效。