特倫斯·陶剛剛確認，AI 在數學領域已經達到了門檻，當這位當代最偉大的數學家之一說這是真的時，辯論就結束了。 陶："能力的可見增長是非常明顯的。這絕不是純粹的炒作。" 來自一位能立即識別這是否被過度宣傳的人的直接確認。AI 在數學中已經從承諾轉變為操作能力。 陶："對我來說，這些進展顯示出有一種互補的方式來進行數學。" 不是取代，而是以人類無法實現的規模並行運作。 人類在小組中花幾個月時間解決困難的問題。這一點不變。但現在還有其他東西與之並存。 陶："我們可以讓 AI 擴展規模：掃描一千個問題，挑選所有的低垂果實。找出所有將問題與方法匹配的方式。" AI 不會更深入思考。它會更廣泛地搜索。系統性地將每種技術應用於每個問題。這是人類無法進行的全面探索。 陶："如果有 20 種不同的技術，將它們全部應用於 1,000 個問題，看看哪些可以解決。這就是今天存在的能力。" 二十種技術。一千個問題。每種組合都經過測試。這是 20,000 次嘗試，人類需要一生來探索。AI 以系統的方式完成這一切。 不是未來的能力。是今天。 新的分工出現。人類：持續專注於抵抗已知方法的問題。AI：在工業規模上全面匹配問題與技術。 AI 通過系統性應用識別所有可解決的問題。人類則專注於真正需要洞察的問題。 不是取代數學創造力。自動化搜尋，消耗了幾個世紀的集體努力，只是找出哪些問題能夠用哪些現有方法解決。 進步的加速不是因為 AI 證明了困難的定理，而是因為消除了人類在 AI 通過粗暴的系統性應用解決的問題上浪費的時間。 ...