
😂「LLMs 不是 AI」這只是在移動目標。AI 已經解決了數十年來人類一直無法解決的數學問題。其他觀點也值得討論。 Erdős 問題 #1196:2026 年 4 月,GPT-5.4 Pro 利用 von Mangoldt 函數,在大約 80 分鐘內解決了這項數論猜想,而這是一種人類此前未曾考慮過的策略。 Jacobian 猜想:2026 年 7 月,數學家 Levant Alpöge 使用 Anthropic 的 Claude Fable 5 找到了這項 87 年歷史問題的反例,標誌著迄今為止 AI 解決的最複雜問題。 Dinitz-Garg-Goemans 猜想:同樣在 2026 年 7 月,ChatGPT 5.6 Pro 僅用四個簡單提示,就推翻了這項 30 年歷史的圖論猜想。
