作者
標題 Re: [爆卦] 25位菲爾茲獎(數學最高獎)得主對AI的聲明
時間 Sat Sep 12 22:51:01 2026
標題 Re: [爆卦] 25位菲爾茲獎(數學最高獎)得主對AI的聲明
時間 Sat Sep 12 22:51:01 2026
: 噓 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 進行了形式化驗證。
Andrew Wiles）在 1995 年提出的費馬最後定理（Fermat's Last Theorem）人類證明，
完整轉譯並透過電腦程式語言 Lean 4 進行了形式化驗證。
這是「發明新證明」還是「驗證舊證明」？驗證舊證明：AI 並沒有發明新的數學證明，
而是採用人類數學家安德魯· 懷爾斯與泰勒（Taylor-Wiles）既有的現代數學成果
看個新聞沒吸收就先入為主以為AI超猛笑死
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 123.192.242.79 (臺灣)
※ 作者: Sinreigensou 2026-09-12 22:51:01
※ 文章代碼(AID): #1gfMRNKB (Gossiping)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1789224663.A.50B.html
※ 同主題文章:
09-12 19:35
09-12 20:15
Re: [爆卦] 25位菲爾茲獎(數學最高獎)得主對AI的聲明
09-12 22:51
09-12 23:04
09-12 23:31
09-12 23:31
09-13 00:02
09-13 01:26
09-13 04:10
09-13 06:59
09-13 08:02
09-13 22:30
09-14 00:10
→ : 對啊 AI不猛 不知道數學家在吵什麼
AI都做得到的事情 數學家做不到?不可能吧1F 111.240.95.108 台灣 09/12 22:53
AI都做得到的事情 數學家做不到?不可能吧1F 111.240.95.108 台灣 09/12 22:53
→ : 數學家會下圍棋 AI會下騎嗎?3F 223.140.78.6 台灣 09/12 23:01
推 : 再說通過電腦形式化驗證不等於完全證明懷爾斯證明是被反覆檢驗了好幾個月才確定的4F 220.132.125.27 台灣 09/12 23:05
--
作者 Sinreigensou 的最新發文:
- 9F 5推
- 29F 4推 3噓
![]()
這種動漫風格其實還好 寫實的才是重災區 讓你知道原來食物也會觸發恐怖谷 脆上找到噁心食物圖防雷 看到這我都會想奇怪會採用的人是都沒感覺嗎85F 53推 1噓- 齁夢是我玩的第一款音遊 我是聽說非vtuber的音遊 好像出新角都是只有圖跟劇情 還要人氣夠才會找聲優配音才會開始出卡池(實裝) 齁夢這種全都要 導致泳裝要連出三個多月的真的是第一次吧 …60F 25推
點此顯示更多發文記錄