IXThinker·2025-03-12 18:50

陶哲軒實測點讚 o3-mini秒證圖論難題

數學家陶哲軒再度分享以AI輔助數學證明的實測案例：o3-mini成功挑戰圖論中專家級的證明，獲他盛讚。經過實測，他總結稱LLM並非數學研究的萬能解法，其價值取決於問題性質以及調教AI的方式，用得其所方能發揮作用。

挑戰圖論難題

陶哲軒以Ruzsa-Szemeredi的「三角移除引理」為例，目標是證明圖論中一個對專家而言屬標準結論的命題：一個由n個頂點、n個誘導匹配構成的圖，其邊數僅為o(n^2)。o3-mini最終完整呈現了專家級證明。