OpenAI 推理模型推翻 Erdős 1946 幾何猜想，費爾茲獎得主驗證
分享
根據 OpenAI 官方公告，OpenAI 在 5 月 20 日宣布，旗下一個通用推理模型推翻了離散幾何領域一道由數學家 Erdős 在 1946 年提出、近 80 年的核心猜想，被視為 AI 首次自主解決一個數學領域的重大未解問題。
推翻了什麼：平面單位距離問題
這道「平面單位距離問題」問的是：在平面上放置 n 個點，最多能有幾對點彼此的距離恰好為 1。問題看似簡單，卻困擾數學界近 80 年。長期以來，數學家相信方格狀的排列是最優解，但 OpenAI 的模型找到一整個無窮族的構型，給出多項式等級的改進，證明方格排列並非最優。
完全自主：從代數數論切入
與過去由人類主導、AI 輔助的數學突破不同，這次的證明完全由模型自主產生。它收到一份問題敘述後，獨立產出解答，過程沒有人類逐步引導、也沒有給半成品讓它補完。方法上，模型並未在已知的方格排列上微調，而是改從代數數論切入，連結到「無窮類域塔」這類進階數學結構。
廣告 - 內文未完請往下捲動
費爾茲獎得主驗證，意義在推理鏈
這項結果已由費爾茲獎得主 Tim Gowers 與普林斯頓大學的 Will Sawin 驗證，確認存在一組比過去已知更多單位距離對的平面構型。OpenAI 表示，這顯示 AI 系統正逐漸具備維繫長而困難的推理鏈，並跨領域連結概念的能力。
風險提示
加密貨幣投資具有高度風險，其價格可能波動劇烈，您可能損失全部本金。請謹慎評估風險。
