[情報] Anthropic AI 證偽雅可比猜想

[spen2005 (鄉民)]

Anthropic 研究員、數論學家 Levent Alpöge 在 X 上宣布，Anthropic 的 Claude
Fable 5 找到了雅可比猜想的反例，並且已經被迅速驗證。

---
"hello there the jacobian conjecture is false thanx to my close friend akhil
for asking about it and my other close friend fable for working during the
world cup final"

"雅可比猜想是錯的，多虧了我的朋友akhil問起這件事，還有我的另一位朋友Fable，在
世界盃決賽期間還在忙這個。"
---


雅可比猜想是 1939 年提出的經典數學難題，已經困擾數學界超過 80 年，它也和
Dixmier 猜想、Poisson 猜想、Weyl algebra 等重要問題密切相關，因此這個結果會連
帶改變數學家對多項式映射、代數幾何與非交換代數的理解。


AI已經開始在數學前沿獨立做出貢獻，而這只是剛開始。隨著形式化驗證的成熟，加上持
續成長的AI模型，算力或許才是真正的瓶頸，期待未來能看到AI解決更困難的問題。


連結： https://x.com/__alpoge__/status/2079028340955197566?s=20

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.112.16.175 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Stock/M.1784550477.A.C5D.html
推 fatpig87    : 跟我想的一樣
→ strlen      : 那波可比呢
推 aza0290     : 原來如此
噓 fifa186     : 所以那裡錯了？驗證細部結果是啥？全都沒說
推 WSJ8964     : 坐等2維也被搞定
推 poeoe       : AI在數學上逐步超越人類了
推 pponywong   : 他就說找到反例了
→ a71085      : 有興趣的會自己去找吧 至於數學研究這種東西九成九
→ a71085      : 的人都看不懂也沒必要放在新聞裡了
→ spen2005    : 三維以上都錯了
推 soome       : AI什麼時候能發明永動機
推 Obama19     : Vibe proofing 時代要開始了嗎
推 offstage    : 所以明天股票漲還是跌？
→ RedLover1009: 他的證偽真的是證偽嗎？還是只是AI自認為的證偽？
推 poeoe       : 還搞不懂AI有多強的 來看這件事就知道了
推 robert000   : 皮克敏呢
推 smalmal     : 最近還蠻多例子的 不管是物理或數學
推 WSJ8964     : 你只要會偏微分跟算行列式，你也可以驗證他給的反
→ WSJ8964     : 例是不是對的
推 tomdavis    : 假摳比猜想
推 ebiebibbNOOB: 牢大猜想
→ Feting      : 正偽只要找到反例就夠了
推 hyperyoujo  : 公司的掃地阿姨出來宣稱證偽了大家會信，才能說是A
→ hyperyoujo  : I超越人類吧，否則AI證任何東西都還是要一位高等數
→ hyperyoujo  : 學研究者、還是頂尖的那種出來講那都還差得很遠
→ onekoni     : 皮克敏猜想 猜猜種出什麼
→ hyperyoujo  : 代表就是找到了一個反例，結果反例也不是一般人能
→ hyperyoujo  : 很簡單的論證AI說的是對的、或者沒有人類去擔保沒
→ hyperyoujo  : 人願意相信就代表AI還沒超越人類
推 poeoe       : 人類證不出來的東西 AI能證出來 就是AI超越人類啊
→ hyperyoujo  : 我用計算機按出高斯積分結果，或是用電腦算出來，
→ hyperyoujo  : 絕大多數人都會相信我按出來的結果是對的，即便沒
→ hyperyoujo  : 受過高等教育的人也會信，這才叫做電腦超越人類
→ hyperyoujo  : @poeoe 看來你聽不懂我的邏輯，那個不叫AI超越人類
→ hyperyoujo  : 叫做AI輔助人類
→ sevikar     : 那記憶體，被動元件的週期性問題要如何證偽？
→ hyperyoujo  : 只有AI能普遍靠自己說服多數人它是對的才叫超越人
→ hyperyoujo  : 類，目前的AI只要沒有人類過一遍它的證明並用人類
→ hyperyoujo  : 的信譽擔保，沒人會信，這不叫超越
→ spen2005    : hyperyoujo 了解一下形式化證明
推 poeoe       : 一般沒受過教育的大眾相不相信都不重要 AI現在就是
→ poeoe       : 能證明人類不能證明的事 那就是超越人類了
→ fallinlove15: 跟我想的差不多
→ poeoe       : 中古時代的大眾還相信是地球是平的咧 事實跟多少人
→ poeoe       : 相信沒有任何關係
推 y598763     : https://bit.ly/4b1clyi
推 lc85301     : 找到反例就證偽了
推 kingblackman: 我只知道維士比
推 birdjack    : 問題是所謂的AI超越人類跟你們想的不一樣
→ birdjack    : 真相是AI+人類超越單純人類
→ y598763     : 可以看看這個 AI超越人類的地方是他會綜合使用所有
→ y598763     : 的工具 但人類不可能一次善用各種工具 但人類也不
→ y598763     : 是一無是處 如果要AI從0開始想相對論應該就沒辦法
→ y598763     : 這種全新的架構問題
→ birdjack    : 但現在為了話題性就要省略成AI全自動超越人類
噓 hyperyoujo  : @spen2005 形式化證明跟AI能獨立證明是兩件不同事
→ hyperyoujo  : 情，不可混淆
推 Informatik  : 跟我想的一樣
→ hyperyoujo  : 數學界看待這些AI tools我建議外行的去好歹去看一
→ hyperyoujo  : 下Terence Tao的演講，這是股板我知道大家還是傾向
→ hyperyoujo  : 看樂觀面，但正確的理解才能把握基本面跟預期
→ hyperyoujo  : 數學界有一種說法是本來很重要的證明AI能證後，這
→ hyperyoujo  : 些證明可能變得沒那麼重要，這讓數學家轉而能花時
→ hyperyoujo  : 間去做更有意義的事，這就好像計算機出來前的各種
→ hyperyoujo  : 快速計算數字的公式現在意義也變小了一樣
→ hyperyoujo  : 人類就厲害在這種轉換思維，我們會主動去找有意義
→ hyperyoujo  : 的問題
→ Altair      : 困難度不夠的 都不再需要人類了 QQ
→ AbianMa19   : 跟我想的差不多
→ guanting886 : AI工具就是另一種形式的天擇 資訊差被輾平後 原本
→ guanting886 : 所謂的專家就是被迫脫離舒適圈重新學習
推 a069275235  : 閒聊早說過了 閒聊厲害多了
→ guanting886 : 你這個過程可能可以激盪出更多以前沒想過 或是當年
→ guanting886 : 遺憾做不到的事情
推 guanting886 : 但也有可能你拿到這個工具後 別人比你還快找到或做
→ guanting886 : 到你正要做的事物 競爭會變超級快
推 helmsley    : 確定有反例就證明結束了
推 offstage    : 就像古時候體力活看勞工體能，有的自動機具之後比的
→ offstage    : 就是技巧跟想法。
推 js0431      : 科比是小飛俠
→ karcher     : 空間傳送看來不可行了
→ karcher     : 要拉到複數空間才有機會 嗚嗚
→ MoneyDay5566: 跟我想的一樣
推 KingIphis   : 恭喜
推 NetsFan     : 我問gemini 他說是假的！
→ NetsFan     : 可是後來叫他查證又說是真的xd
推 dagehoya5566: 想你了老大
噓 checkmarx   : 蝦吹強 日常生活都辦不到
→ zzzxxxqqq   : 這很難假啦 驗算就結束了
推 takanasiyaya: 還在差的遠的根本不認識數學界，純數學界已經因為好
→ takanasiyaya: 幾個猜想被AI證偽現在頭抱著燒好嗎？沒聽過那只是你
→ takanasiyaya: 不認識數學。數學教授現在已經是怕AI證明的速度超過
→ takanasiyaya: 他們能解讀的速度
推 yuinghoooo  : 最近很多困擾人類多年的數學問題都被AI攻破了沒錯
→ yuinghoooo  :  但要說AI取代人類思考還久
推 Xanphenir   : 打開連結就有AI提出的反例，高中程度的都能自己算
→ Xanphenir   : 這種就是要證明或證偽很困難，但反例一提出明顯到
→ Xanphenir   : 根本不需要數學家獨立驗證的東西。
推 penolove5566: 嗯嗯 跟我想得差不多