OpenAI 的下一代推理模型，內部稱為 Astra，剛剛完成了一項足以讓大多數博士候選人對著白板落淚的壯舉。公司於 8 月 1 日宣布，該模型自主生成了 10 個關於數學與理論電腦科學開放問題的新成果，每一項均經包括菲爾茲獎得主 Tim Gowers 在內的外部數學家驗證。
這不是 Astra 的第一次亮相。早在 5 月 20 日，同一模型就推翻了 Erdős 平面單位距離猜想，這個問題曾讓數學家困惑近 80 年。
模型實際上所做的
由傳奇匈牙利數學家保羅·艾狄胥提出的這個問題，探討的是在平面上有多少對點可以精確地相距一個單位。Astra 構建了能產生至少 n^(1+δ) 個單位距離點對的配置，其中 δ 大於零，且對於無限多個 n 成立。經過優化的結果將 δ 精確確定為 0.014。這是人工智能首次自主解決離散幾何領域的重要問題，無需任何專業數學訓練，也無需人類指導，該模型自行進行了高級代數推理。
八月的公告在此基礎上又增加了10項成果，涵蓋幾何學與理論電腦科學。每一項成果均由專業數學家獨立驗證。高爾斯本人稱此成就為「人工智慧數學的里程碑」。包括高爾斯和托馬斯·布盧姆在內的數學家們發表了配套論文，驗證了證明並提供了進一步分析。
為何這不僅僅是純數學問題
密碼學是所有區塊鏈和數位資產的基石，本質上是應用數學。比特幣、以太坊及其他所有加密貨幣協議的安全性假設，都建立在某些數學問題的計算難度之上。一個今天能推翻離散幾何中80年歷史猜想的模型，其後續版本可能 tomorrow 探索加密的數學基礎。
投資者實際應關注的內容
這裡的即時市場影響為零。OpenAI 在其所有公告中均未提及加密貨幣代幣、數碼資產或相關協議。這純粹是一項 AI 研究里程碑。
首先，專注於數學運算和證明驗證的 AI 相關代幣和項目可能重新獲得關注。AI 能夠進行真實且可驗證的智力工作，而不僅僅是生成看似合理的文字，這一敘事強化了在 AI 與 區塊鏈 驗證交匯處構建項目的合理性。
其次，後量子密碼學正從理論關注轉變為實際優先事項。致力於開發抗量子和抗人工智慧密碼標準的項目，其重要性將日益提升。