OpenAI 声称它解決了一個80年的數學問題 —— 這次是真的

OpenAI 声稱其新的推理模型產生了一個原創的數學證明，推翻了一個著名的未解幾何猜想，這個猜想最初由 Paul Erdős 於 1946 年提出。如果這聽起來耳熟，那是因为 OpenAI 過去也曾做出如此大膽的聲稱。七個月前，這家 AI 巨頭的前副總裁 Kevin Weil 在 X 上發文表示：「GPT-5 找到解 10 個（！）先前未解的 Erdős 問題，並在 11 個其他問題上取得進展。」結果發現，GPT-5 其實並未真正解決這些問題；它只是找到了已經存在於文獻中的解。競爭對手如 Yann LeCun 和 Google DeepMind 頭腦 Demis Hassabis 隨後嘲諷，Weil 也立刻撤下了這篇過於急躁的貼文。今天至少看起來，OpenAI 沒有重蹈覆轍。在公告同時，公司也發表了數學家 Noga Alon、Melanie Wood 和 Thomas Bloom 的支持聲明，這些數學家維護 Erdos 問題網站，並曾將 Weil 的貼文稱為「嚴重誤導」。OpenAI 在 X 上表示：「在近 80 年來，數學家們相信最好的解決方案看起來大致像方格。」現在 OpenAI 的模型已推翻這個信念，發現了一種全新的構造家族，表現更優越。公司表示這是「首次 AI 自主解決一個對數學領域至關重要的著名開放問題。」根據 OpenAI，這個證明來自一個新的通用推理模型，而不是專門設計用來解決數學問題或甚至是這個問題的系統。OpenAI 表示這一點很重要，因為這意味著 AI 系統現在更能處理長而困難的推理鏈，並跨領域連結想法，這可能是研究人員之前未曾探索過的領域。這對生物學、物理學、工程學和醫學都有影響。Bloom 在聲明中表示：「AI 正幫助我們更完整地探索我們幾個世紀來建立的數學聖殿。」「還有多少未被發現的奇觀正在等待著我們？」