IXThinker·2026-06-30 17:20

AI生成證明攻克計算幾何多年難題

困擾學界七年的計算幾何難題，證明由AI寫出來了。有研究者發表論文，證明「最遠點對」等經典問題在任意超常數維度下需近平方時間，初始證明由GPT-5.5 Pro生成，關鍵思路源自一位長期鑽研者的早前工作。

論文內容

論文六月下旬登於預印本平台，作者為加州大學聖迭戈分校三位研究者，證明「最遠點對」等經典計算幾何問題在任意超常數維度下需要近平方時間，論文明確聲明初始證明由前沿推理模型生成。