[爆卦] OpenAI專家：大模型夠證明黎曼猜想

[jackliao1990 (j)]

https://www.youtube.com/live/H3TnTxVKIOQ

知名理論計算機科學機構Simons Institute舉辦辯論：
"目前基於縮放定律的LLM，能否在未來幾年內產生可以解決重大數學難題（如P≠NP、
黎曼猜想）的證明技術?"

正方OpenAI科學家Sebastien Bubeck表示
目前模型的能力加上更多的數據和後製訓練就足以解決數學難題
GPT-4只有AGI秒級思考能力 o1模型有AGI分鐘至小時級別
未來實現AGI日級、週級指日可待 可能明後年就達到
屆時模型將擁有充足時間和能力找到解決重大猜想的路徑
從GPT-3.5開始模型就可以實現在後訓練過程中提取智能
到了o1模型時代採用強化學習使模型在複雜任務處理上實現質的飛躍
在特定數學問題中o1能迅速關聯看似不相關的概念
自發性地湧現新思路  為解決難題提供新線索

最終贊成正反方的票數差不多

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.253.157.195 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1735705361.A.9A6.html
推 tchialen: 黎明猜想
推 hyder1024: 我愛黎明 我愛黎明
推 GGing: 黎姿猜想
推 C13H16ClNO: 未來反重力公式就靠你了
推 fransiceyho: 永動機要發明出來了沒
推 cplusplus426: 世紀最難題要解了？？？？
噓 DDDDRR: 這個就唬爛了
推 cisyong: 應該是，智慧之王要誕生了
噓 SALEENS7LM: 欸癌專家=唬爛專家
推 csi9507121: 什麼時候so 能找到質數公式跟萬物理
→ csi9507121: 論？
推 dustree: 數學幾大難題都丟給ai解決了?
推 Dinenger: 黎曼猜想我早就解出來了 還用你來算
推 XiaoLuu5566: 能夠告訴我宇宙外面是什麼嗎
→ mutsutakato: 數學界不接受程式跑出來的結果，只
→ mutsutakato: 接受純證明
四色定理表示:並沒有
推 qa1122z: 嗯，跟窩想的一樣
→ Dinenger: 只是覺得對世界來說太早 公布不是好事
噓 kinda: 內文就說目前不能了？濫用爆卦
推 Peurintesa: 從零開始嗎?沒有任何pre-train資料?
推 tomshiou: 虎爛
推 ilovemiao: https://i.imgur.com/9XxAxVE.jpeg
推 ironkyoater: 數據能夠大並且整合所有公式不產生
→ ironkyoater: 矛盾嗎？
→ cpc21478: 理論建好模型 以後通通給AI跑就好
→ kaodio: 先把小學生作業寫好啦 還不會跑就想飛
推 loveyou9527: 夠 是啥意思 絕對嗎？
推 abc0922001: 之前AlphaGo的黃士傑就說過，AI的進步
→ abc0922001: 是像坐火箭那樣。所以不要小看AI的進
→ abc0922001: 步能力
推 jhjhs33504: 猜想啥？直接說結論不行嗎？
→ abc0922001: 光4o解LeetCode Hard難度就80％通過率
推 Peurintesa: 只有結論沒推導過程只會是猜想
→ kaodio: 所有的科技都是像坐火箭一樣啦 AI別自以為
推 spen2005: 哈
→ kaodio: 只有自己特別了不起
推 stilu: 因為證明不了，所以才是猜想啊
※ 編輯: jackliao1990 (111.253.157.195 臺灣), 01/01/2025 12:40:30
→ potionx: 暴力破解法 每個數字都算～
推 stilu: 跟AI發展速度比起來，其它科技頂多是開車
推 neo74214: 蛤?
→ jaceda: AI如果有束縛乾脆賭一把拿掉
→ jaceda: 搞不好很快就有外星等級的高科技
推 a22222a4210: 哪有啥不接受的 程式也是靠數學堆出
→ a22222a4210: 來的 用數學堆出來的方法解也是數學
推 strlen: 正反方票數差不多 半信半疑 噴
推 GaussQQ: Open ai隨便問一些數學也沒有都對
→ kaodio: ai還沒像火箭一樣只是燒的錢不夠多而已 你
→ kaodio: 各位要多付點錢錢啊
推 a8785007: 民生用不到=賠錢
噓 Xenogeous: 繼續唬爛，泡沫很快就會來：）
→ TaiwanUp: 黃士傑也在做AlphaProof 看誰先解出來
噓 lavign: 先吧簡單推理搞好吧
→ NotUniqueSol: 藜麥猜想吧
→ shala: LLM不是在思考
推 jeffguoft: 一年前我也會說LLM不思考
→ jeffguoft: 在看過現在AI對複雜問題的理解能力以及
→ jeffguoft: 思維鍊之後，我不會這麼說
推 PRME: 幹港原理
推 kkithh: 先叫AI弄出核融合吧，沒電用就沒搞頭囉
推 herro760920: 不用AI也能弄出核融合，只是沒經濟
→ herro760920: 效益而已
推 Homeparty: 問題是AI回答一般問題都會錯了，你怎
→ Homeparty: 麼證實AI證明的答案是對的？
→ WWIII: 快逃啊
→ Homeparty: 假設我說答案是1，你怎麼知道我的對錯
推 reppoc: 先找到常溫超導體的解比較實在
→ alongalone: 可以算出核融合跟常溫超導的材料組合
推 NDSLite: 這不就是個笑話
→ ykes60513: 四色定理有用到電腦運算沒錯 但不算是A
→ ykes60513: I
→ ykes60513: 讓AI來證明可以 但要給出人類看得懂的
→ ykes60513: 證明 不然中間的運算過程人類根本無法
→ ykes60513: 理解
推 kkithh: 當然是要能淨產出能量的核融合阿，你叫AI
→ kkithh: 弄看看，事實上目前就是還差很遠阿
推 kkithh: 用電腦解數學不叫AI，推導得出理論公式才
→ kkithh: 算，例如三體問題的解法
→ kkithh: 不用通解，給幾個近似解來看看
推 suzer: 不懂黎曼猜想的難度的蠢蛋
→ eipduolc: 黎曼猜想能被證明出來很令人振奮
→ z635066: 算力跟演算法是兩回事，這說法的演算法還
→ z635066: 沒出
推 ohlong: 藜麥猜想 感覺很健康
→ tkuewaiting: 黎姿一百分
噓 h40113: 十年後吧
推 g9911761: 不需要碳基人類了
推 bnd0327: 光靠語言模型不可能
→ Max11: 我剛才問chatgtp,他說他不會
→ refusekkk: 這辯論有啥意義 就真的給LLM解阿
→ refusekkk: LLM寫出的答案 人類再反覆檢查驗證
→ refusekkk: 寫錯了就打槍 逼到他寫對就好
推 MBB200291: 不是 給的肯定是證明過程
→ rq654: 應該會給很多似是而非的證明