標籤 · #mathematics

OpenAI 推理模型推翻 80 年的 Erdős 猜想——而且它不是數學專用模型

為什麼值得讀 標題是「AI 會做數學」。真正的訊號是：它出自一個通用推理模型，而非數學專用系統——並以建構出 80 年來無人找到的反例來推翻舊有信念。一個結果不算革命，但「通用性」才是重點。

OpenAI 表示一個內部推理模型自主推翻了 Erdős 1946 年的單位距離猜想（5/20）——AI 首例，並經數學家獨立驗證。