【重大里程碑 ✅】OpenAI 近日使用了一個內部通用推理模型（general-purpose reasoning model），在未經數學專門訓練的情況下，自主生成了一份嚴謹的數學證明，成功推翻了由傳奇數學家 Paul Erdős 於 1946 年提出、困擾學界長達 80 年的「平面單位距離猜想」（planar unit distance conjecture）。經過多位外部頂尖數學家的嚴格審查後，正式宣告 Paul Erdős 單位距離猜想不成立。