人工智慧的邏輯推理能力再度震驚學術界！數學界近期傳出重大消息，學者 levent 在社群平台上正式宣布，長期懸而未決的 Jacobian 猜想（Jacobian conjecture）已被證偽，並給出具體的反例。更令人驚訝的是，OpenAI 研究員 Aaron Lou 隨後透露，公司內部的 Codex 模型在「無網路搜尋」的狀態下，竟也獨立推導出幾乎完全相同的反例，展現出 AI 在頂級數學研究中的巨大潛力。
（前情提要：自託管 AI 模型更省錢？Cline 實測 Kimi K3 成本優勢，網反駁：按任務算比 Fable 5 貴）
（背景補充：Hugging Face 被 AI agent 打穿！最後鑑識模型靠中國開源 GLM 5.2）
隨著大型語言模型（LLM）的算力與演算法持續進化，AI 已經不再只是撰寫程式碼的輔助工具，更開始踏入人類最高深的基礎科學研究領域。台北時間 2026 年 7 月 20 日，社群平台 X（前 Twitter）上爆發了一場令全球數學界與 AI 圈為之沸騰的討論，長期未解的 Jacobian 猜想（Jacobian conjecture）正式宣告被證偽。
Congrats to Levent for discovering this!
OOC I had an internal version of Codex attempt a proof too (without web search), and it discovered (essentially) the same counterexample! It wrote up a nice summary of the strategy here: https://t.co/fvUGNcPozg https://t.co/BnZQYIJbMg
— Aaron Lou (@aaron_lou) July 20, 2026
Jacobian 猜想被證偽！數學界拋出震撼彈
事件的起因來自於數學學者 levent（@__alpoge__）於 20 日凌晨發布的一則貼文。他在文中輕鬆卻震撼地宣布：「Jacobian 猜想是錯的。」
為了證明這項論點，levent 提出了一個具體的反例映射，該映射從 $ \mathbb{C}^3 \to \mathbb{C}^3 $，並給出了複雜的多項式函數：
$$ F(x,y,z) = ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x – 3 x^2 y – x^3 z) $$
levent 指出，這個映射的 Jacobian 行列式（Jacobian determinant）為 -2，並且會將特定的三個座標點 $(0, 0, -1/4)$、$(1, -3/2, 13/2)$ 以及 $(-1, 3/2, 13/2)$ 全數映射到同一個結果 $(-1/4, 0, 0)$，從而完美打破了該猜想成立的前提條件。這則貼文迅速在學術圈引爆，累積超過 2,500 萬次觀看與數萬次轉發。
OpenAI 內部模型發威，無聯網獨立解題
就在數學界為此反例歡呼之際，OpenAI 研究員 Aaron Lou 的一則引用貼文，則讓科技圈看到了 AI 發展的可怕潛力。
Aaron Lou 首先恭喜 levent 發現了這個歷史性的反例，隨後他透露了一個驚人的內部測試結果：「出於好奇，我讓一個內部版本的 Codex 模型嘗試進行證明（在沒有網路搜尋的情況下），結果它竟然發現了（本質上）完全相同的反例！」
不僅如此，Aaron Lou 還分享了該 AI 模型在解題過程中的策略推導摘要 PDF，以及他所使用的提示詞（Prompt，改編自另一位開發者 @__eknight__ 的 CDC 證明提示詞），藉此證明 Codex 是憑藉自身的邏輯推理能力，一步步建構出這個複雜的數學反例。
AI 成為頂尖數學家的「超強大腦」？
這起事件之所以引起廣泛關注，在於它打破了外界對 AI 模型「只會依靠網路搜尋或背誦現有資料」的刻板印象。在沒有外部網路輔助的情況下，OpenAI 的內部模型能夠針對極度抽象且複雜的純數學猜想，進行深度的邏輯推演，最終得出與頂尖人類數學家相同的反例。
這不僅證明了 AI 在複雜推理（Complex Reasoning）能力上的飛躍性成長，也預示著未來的基礎科學研究，將可能演變成「人類提出好問題，AI 協助窮舉與推導驗證」的全新協作模式。隨著更多專注於推理能力的模型問世，我們或許很快就能看到 AI 協助破解下一個世紀數學難題。
📍相關報導📍
歐盟 8 月開鍘：AI 沒「自報身分」最高罰 3% 全球營收，台灣也在範圍內
