Cardano 創辦人評估 OpenAI 的數學突破

Cardano 創辦人查爾斯·霍斯金森（Charles Hoskinson）於 9 月 9 日表示，人工智慧在形式數學方面的進展超出了他的預期。

霍斯金森表示，人工智慧在數學上的進步大大超出了他之前的公開預期。

OpenAI 表示，大約 10,000 名代理人在 88 小時的工作中產出了 Navier–Stokes 解。

克雷數學研究所（Clay Mathematics Institute）仍將 Navier–Stokes 問題歸類為未解決，並等待全球的發表、審查和廣泛的數學接受。

霍斯金森對於研究人員將未發表的工作輸入集中式雲端 AI 系統表示了保密性擔憂。

OpenAI 否認訪問私人工作，但無法排除去識別的使用數據影響模型改進的可能性。

他的評論是在 OpenAI 宣稱其內部系統產生了 Navier–Stokes 千禧獎問題的解決方案之後發表的。

在一次廣播中，霍斯金森稱這些報導的能力為「相當驚人」。然而，他也提到了關於該工作的來源和提交給基於雲的 AI 服務的研究隱私的未解決問題。

霍斯金森表示，他最初預期形式系統能幫助更大的數學家團隊協作並驗證人類撰寫的證明。他沒有預料到大型語言模型會如此迅速地生成完整的證明。

「我們從未預料到 AI 會如此深入，」霍斯金森說。他補充說，AI 完全撰寫證明的想法之前看起來「相當遙遠」。

霍斯金森與形式數學研究有直接的聯繫。根據大學的公告，他在 2021 年向卡內基梅隆大學捐贈了 2000 萬美元，以建立霍斯金森形式數學中心。

他最新的評論也符合 Cardano 在人工智慧方面的更廣泛實驗。正如 crypto.news 之前報導的，霍斯金森為 Cardano AI 代理實驗辯護，這些實驗涉及通信、社區活動和以隱私為重點的 Midnight 生態系統。

OpenAI 在 9 月 8 日發佈了其研究。該公司表示，內部模型協調了大約 10,000 名代理人，並在 88 小時後產生了一個提議的解決方案。GPT-6 Astra 隨後又花了 17 小時來形式化和檢查該論證。

該證明試圖確立一種初始光滑、靜止的流體在受到光滑外力作用時可以在有限時間內發展出奇異性。OpenAI 表示這滿足了官方千禧獎公式中的 C 和 D 陳述。

該公司還發佈了一篇分析論文和 Lean 代碼。Lean 的形式化提供了機器可檢查的驗證，證明編碼步驟遵循所述假設。它並不獨立確立每個定義和假設準確地代表所意圖的數學問題。

OpenAI 表示不打算尋求相關的 100 萬美元獎金。儘管如此，該公司仍然將其工作描述為問題的解決方案。

克雷數學研究所仍將 Navier–Stokes 問題標記為「未解決」。在報導時，其網站尚未承認 OpenAI 提出的證明為接受的解決方案。

克雷不接受通過直接提交的提議解決方案。根據其規則，解決方案必須出現在合格的出版物中。然後必須經過至少兩年的時間，並且該工作必須獲得全球數學界的普遍接受。

這一過程意味著 OpenAI 的公告和正式證明並不構成立即的機構認可。數學家必須檢查該構造是否滿足精確的問題陳述，以及其使用的外部強迫是否回答了通常理解的問題。

該公告還引起了紐約大學數學家特里斯坦·巴克馬斯特（Tristan Buckmaster）和 Anthropic 研究員萊文特·阿爾波格（Levent Alpöge）的關注。這些研究人員一直在使用強迫方法研究相關的歐拉方程結果。

巴克馬斯特質疑進入 OpenAI 的 Codex 系統的私人工作是否可能對該公司的結果有所貢獻。他沒有指控證明不當行為，表示：「我不知道我們的數據是否被使用。」

OpenAI 否認訪問他們的具體工作。然而，該公司表示無法完全排除去識別的數據可能幫助改善其模型的可能性。OpenAI 堅持其證明是獨立開發的，並且與研究人員的工作有所不同。

霍斯金森認為，這一爭議應該關注處理未發表想法的研究人員。他表示，使用集中式 AI 服務的學者應考慮提示、筆記和研究日誌是否保持機密。

下一階段將涉及對 OpenAI 的論文和 Lean 形式化的公開審查。在專家審查假設並滿足克雷的正式條件之前，該工作仍然是一個聲稱的解決方案，而不是被認可的解決方案。

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