AI 迅速解決數學難題，震撼數學界，但菲爾茲獎得主泰倫斯·陶對其速度及不負責任的成果表示深切憂慮。
試著想像一下：有一個全球數學家困擾多年、始終無法破解的數學難題。如果人工智慧（AI）宣稱它只花了幾天就解開了，你會怎麼想？這是人類智慧又一次飛躍的喜訊，還是一個讓人高興不起來的尷尬局面？最近，數學界正因為這個問題陷入激烈的爭論。
這為什麼很重要？
數學是所有科學與技術的根基。從我們每天使用的智慧型手機的複雜演算法，到探測廣大宇宙的太空船軌道計算，若沒有數學證明的支持，什麼都無法運作。長期以來，解決這些難題都是人類天才的專利。但現在，AI 開始侵入這個聖域。
不僅僅是作為輔助計算的工具，AI 現在已經能自行構建新的數學證明。[出處：OpenAI 產出 722 篇數學論文，震驚數學界] 這不僅僅是「幫忙寫作業」而已，更是一個警訊，意味著我們理解世界的邏輯方式本身，可能會被機器所重塑。
輕鬆理解
數學證明就像是在複雜迷宮中尋找出路。這是一種高層次的智慧活動，必須在無數個分歧點中找出通往唯一正確答案的路。菲爾茲獎（Fields Medal，數學界的諾貝爾獎）得主泰倫斯·陶（Terence Tao）教授 [出處：UCLA 數學系教授泰倫斯·陶]，將 AI 產出的證明做了個有趣的譬喻：
「就像是與一位非常聰明，但有點喝醉的合作夥伴一起工作。」 [出處：陶的 AI 比喻]
簡而言之，AI 有時會展現人類意想不到的精采洞察，但同時也會混雜著邏輯不通的胡言亂語。儘管有 1 萬個 AI 代理聲稱 [出處：運用 1 萬個 AI 代理] 在短短 88 小時內完成了證明 [出處：88 小時的紀錄]，但這個證明是否為毫無邏輯缺陷的完美答案，目前仍難以斷言。
現狀如何
OpenAI 近日宣布解決了數學界長期以來的難題之一——「納維-斯托克斯方程式（Navier-Stokes）」。然而，數學界並沒有立即接受這個結果。 [出處：未經證實的納維-斯托克斯證明]
對此，泰倫斯·陶教授領導的專家小組已著手進行一項艱鉅的工作：對 OpenAI 拋出的 722 篇數學文稿進行精密審查。 [出處：啟動 722 篇論文審查] 雖然陶教授過去曾將 AI 模型比喻為「表現普通但並非完全無能的研究生」而表示過期待 [出處：2024 年陶的評價]，但他現在警告，AI 消耗數學難題的速度太快，導致人類研究人員連提出新問題的機會都被奪走了。 [出處：對 AI 消耗數學難題速度的擔憂]
未來發展
當然，AI 對數學發展的貢獻潛力是不言而喻的。事實上，今年 5 月，AI 成功反證了懸宕 80 年的「艾狄胥單位距離猜想（Erdős unit distance conjecture）」，這項證明已由另一位菲爾茲獎得主正式驗證過。 [出處：成功反證艾狄胥猜想]
歸根結底，關鍵不在於「速度」，而在於「真實性」。未來數學界將投入大量精力，從 AI 提出的龐大證明中篩選出哪些是珍貴的寶石，哪些又是充滿邏輯謬誤的廢料。隨著 AI 技術的演進，我們將面臨一場激烈而審慎的思考：該如何重新定義我們視為理所當然的「數學證明」的價值？
MindTickleBytes AI 記者觀點
AI 拓展數學思考的視野固然值得開心，但 AI 企業逃避核實結果責任的態度卻顯得相當危險。數學的核心並非僅僅在於得到正確答案，而在於「理解與論證的過程」。如果 AI 不能向我們透明地展示那個過程，那麼這是否真能被稱為「數學的進步」，恐怕還有待商榷。
參考資料
- Gizmodo: The Fight Over OpenAI’s Math Breakthrough
- YouTube: The controversy around OpenAI “solving” a $1m math problem
- Scientific American: OpenAI unleashes hundreds more math results upon a field already in shock
- QvantX: OpenAI “Solved” Navier-Stokes for $1,000,000
- Tufts Daily: Mathematicians still checking the Navier-Stokes proof that OpenAI claims to have solved
- Mathstodon: Terence Tao profile
- YouTube: Terence Tao on How AI Is Changing Mathematics
- TikTok: AI Mathematics Controversy
- OpenAI Blog: Terence Tao: AI is ready for primetime in math and theoretical physics
- YouTube: An AI Just Cleared 9 ‘Unsolved’ Math Problems
- Tech Insider: Tao Group Scrutinizes OpenAI’s 722 Math Claims
- Wimes: The Real Math Breakthrough Isn’t the Proof — It’s the Jacobian
- 非常有能力的資優生
- 有點喝醉的合作夥伴
- 來自未來的數學家
- 約 100 個
- 約 1,000 個
- 約 10,000 個
- 全力信任並宣傳
- 正對 722 篇數學論文進行精密審查
- 要求全面禁止使用 AI