OpenAI 推理模型自主推翻 Erdős 1946 幾何猜想

匈牙利數學家 Paul Erdős 於 1946 年提出這項離散幾何猜想，此後近 80 年一直未獲解決，並成為檢驗組合數學與幾何推理的重要問題。若 AI 能在沒有人工引導下提出有效反例，代表通用推理模型已從輔助計算跨入原創數學研究。

OpenAI 近期宣布，旗下通用推理模型自主產生完整證明，成功推翻 Erdős 於 1946 年提出的猜想；整個推導過程未由人類提供解題方向。OpenAI 表示，結果已由一名費爾茲獎得主驗證，並稱這是 AI 首次獨立解決重大數學未解問題。