IXThinker·2025-03-12 19:01陶哲軒實測o3-mini 完美重建專家級圖論證明
數學家陶哲軒親自測試o3-mini，要求其重建圖論中專家級結果的證明，結果令他滿意，認為該模型完全能夠勝任這類複雜的數學推理任務。
挑戰三角形移除引理
測試對象是三角形移除引理（triangle removal lemma），由Ruzsa與Szemeredi於1978年提出，屬極值圖論的重要成果：若一個n頂點圖僅含o(n³)個三角形，則可透過移除少量邊令圖變成無三角形。
IXThinker 會員內容
呢篇係 Archive 內容。登入即可解鎖全文，仲有成個 15,000+ 篇、每日更新嘅 AI 動態資料庫。
免費登入／註冊解鎖全文 →Google 或電郵地址即可，即刻解鎖。