Re: [爆卦] 25位菲爾茲獎(數學最高獎)得主對AI的聲明

[Sinreigensou (神靈幻想)]

: 噓 xxxzxcvb: 最近不是才有費馬大定理證明用ai幫忙驗    27.53.123.170 09/12 21:50
: → xxxzxcvb: 證了                                    27.53.123.170 09/12 21:51
: → xxxzxcvb: 哪裡沒辦法驗證                          27.53.123.170 09/12 21:51

因為那是AI用原本人類已經證出來的證明再證明一次

Anthropic 的 AI 模型 Claude 在 2026 年 9 月僅花費 11 天，就將安德魯·懷爾斯（
Andrew Wiles）在 1995 年提出的費馬最後定理（Fermat's Last Theorem）人類證明，
完整轉譯並透過電腦程式語言 Lean 4 進行了形式化驗證。

這是「發明新證明」還是「驗證舊證明」？驗證舊證明：AI 並沒有發明新的數學證明，
而是採用人類數學家安德魯·懷爾斯與泰勒（Taylor-Wiles）既有的現代數學成果

看個新聞沒吸收就先入為主以為AI超猛笑死

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 123.192.242.79 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1789224663.A.50B.html
→ potionx: 對啊 AI不猛 不知道數學家在吵什麼
→ potionx: AI都做得到的事情 數學家做不到?不可能吧
→ ArSaBuLu: 數學家會下圍棋 AI會下騎嗎?
推 tank44444: 再說通過電腦形式化驗證不等於完全證明
→ tank44444: 懷爾斯證明是被反覆檢驗了好幾個月才確
→ tank44444: 定的