OpenAI聲稱解決了一個80年歷史的數學問題——這次是真的
背景與事件概述
OpenAI聲稱其推理模型成功推翻了一個自1946年以來未解決的幾何猜想，並強調這次的聲明獲得數學家的認可，他們先前曾質疑過OpenAI在其他聲明上的可信度。
相關技術與模型
- GPT-5.4 Pro：OpenAI的最新模型被報導在約80分鐘內解決了Erdős提出的第1196號問題，該問題已持續未解超過60年。
- 數學家評論：著名數學家Terence Tao稱此解決方案為「有意義的突破」，顯示其方法具有實際價值。
爭議與驗證
儘管OpenAI聲稱成功，但部分獨立分析指出，該模型實際上僅找到已知結果，並未真正推導出新證明。數學界對此仍存疑，需進一步驗證。
相關案例與延伸
類似事件包括23歲的Liam Price透過使用ChatGPT Pro解決了一個60年歷史的數學問題，且無進階數學訓練，顯示AI在數學探索中的潛力。