[問卦] 數學家看到難題被AI攻克在想什麼？

[kinjk01 (小白)]

最近AI有重大突破

可以自己證明人類證明不出來的數學

數學家看到難題被AI攻克在想什麼

是不是在想為什麼當初要選數學系？

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 223.140.239.206 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1788912875.A.F47.html
推 grandzxcv: 嗯嗯跟我想的一樣
推 Xaymaca: 接下來機器人表演當水電工
→ tinybunny: 想更多難題來解鴨
→ tinybunny: 從解題專家變成問題創造者
推 ahb0711: 在想電源插頭在哪裡
推 wrvuxci: 很高興能有看到答案的一天啊，而且解完了
→ wrvuxci: 還是可以再延伸很多問題
推 easyfish: 你以為數學只有這個難題嗎
推 VoV: AI大部分用暴力窮舉破解法,人腦目前還是略勝
推 karst10607: 跟看到富堅又出了幾話一樣，既期待又
→ karst10607: 怕受傷害，想完結又希望不要完結
推 OrangePlusXD: 會出現人類無法駕馭的理解
推 qpeter: 全世界的數學家 百思不得其解 為什麼台灣
→ OrangePlusXD: 就像AI把你空投到山頂 但你不知道徒
→ OrangePlusXD: 步的地圖怎麽畫
→ qpeter: 60%會選輸40% 不知道這題AI有沒有解XD
推 cat5672: 我看到的是目前他們整天看起來在開趴
→ cat5672: 都認為自己掌握了什麼核爆工具
→ cat5672: 你可以自己去確認 事情可能和你期待的
→ cat5672: 方向不太一樣 這東西太專了 也只有他們
→ cat5672: 會用
推 henry1234562: 數學家會很開心 他們不在意誰解的
→ henry1234562: 一個問題解決代表數學更進一步
→ henry1234562: 能參考的定理就多一個
→ henry1234562: 數學有解不完的問題 恨不得解快點
→ henry1234562: 而且你AI找出的證明也是大發現
→ leocean9816: AI底層深度學習、機率就是數學
→ ISNAKEI: 說沒空看
→ mit2502: 還是要數學家來和AI合作的一般人又看不懂
推 aggressorX: 超爽吧 有生之年系列竟然解開了
推 wrvuxci: 可能覺得自己有機會解出來的人會懊惱啦
→ wrvuxci: 畢竟一大筆獎金，大部份人應該是都還好
→ wrvuxci: 因為本來就是超難的問題
推 tsubasawolfy: 會很開心的可以在這上面弄出新的問
→ tsubasawolfy: 題
推 running9977: 解完人類要驗證阿 還能持續解下去很
→ running9977: 好
→ tsubasawolfy: 科學的進展就是永遠站在巨人的肩膀
→ tsubasawolfy: 上朝下一階段前進
推 lpsobig: 很爽吧
推 Cuchulainn: 破解一個猜想 再延伸一個新猜想
→ panda816: 長年便秘終於通了
→ tatuya: 看到解不出的難題被解出來當然是高興
→ Yefim618: https://i.imgur.com/Xbh48fC.jpeg
推 XNCI714: 下一題啊
推 miloisgood: 會情緒失控上網罵AI  走上街頭反對資
→ miloisgood: 料中心
→ LipaCat5566: 一切都結束了
→ sushi11: 想小學題目如何考到學生
噓 webster1112: 走路走一生 結果汽機車出來 XDDDD
→ zenixls2: https://youtu.be/kfaQ9Tz0gpU
推 Aueston: 數學又不是在解題，你以為跟考試一樣？
推 neil139: 所以就坐車更快到達目的地
推 clair281: 後面還有一大串難題可以算啊
→ neil139: 數學家就像變成駕駛了,一般人就是乘客
→ airhong: 兩個路徑不同 數學家多是高維抽象
→ airhong: AI 也有抽象但是較多是靠驗算吧
推 shadowdio: 乾 研究經費飛了
噓 leo255112: 那個是AI檢查人類的證明有沒有問題，
→ leo255112: 不是AI證明
→ kasim15: 不用AI的數學家 去當小學老師吧
推 sforzando: 在想如何站在AI上問出更高級的題目
→ xvited945: 哇靠，沒辦法假裝解不出來騙經費了
推 nt880245: 未來數學家輕鬆了
噓 hongsiangfu: 想太多,AI目前還只是個工具
→ yayan1010: 解出來也要驗證吧？
推 SPAEK: 數學不缺難題 而且是不是攻破 目前體制下
→ SPAEK: 一定要活人數學家人腦驗證後才算數
→ SPAEK: 所以現在數學界很忙的 因為大家都在驗算
→ wrvuxci: 現在也可以用Lean驗證，不一定人腦
→ wrvuxci: 不過除非證明長到無法讀完 專家還是會想
→ wrvuxci: 親自驗證吧
推 nt880245: AI還無法創造新的解法 都是拿現有的去嘗
→ nt880245: 試 數學家還是會存在的
推 mokke: 你以為給你ai你就能做到喔？prompt 怎麼寫
→ mokke: ？如何驗證結果？而且ai的很多發想跟證明
→ mokke: 手法也是來自過去數學家的累積 看某樓明顯
→ mokke: 不知道ai的產生來自於數學 亂比喻有夠無知
推 selvester: 怎麼會是窮舉法？ 不是領域證明嗎？
→ selvester: 而且幾乎都是驗證過才發表
→ aa4488: 知道的越多知道的越少
推 nt880245: 等AI創造某理論 而不是解決數學難題 再
→ nt880245: 來談取代
推 fq1l4i: 前幾天看到一個數學教授開玩笑說以後數學
→ fq1l4i: 研究會變成抽卡式科研
推 b05605019: http://i.imgur.com/tuJ0trp.jpg
→ mutwilly: 嗯嗯跟我想的一樣
推 kabukiryu: 幹真der假der啦，先前我der認知1直都4
→ kabukiryu:  人類知識der極限就4AIder極限。
→ kabukiryu: ai已經自我突破極限惹嗎?
推 adad48362: 很高興吧 可以再往更難的方向走
→ bewritten: 不會就是不會啊
推 tkc7: 解一題不知道花多少成本
推 fufugirl: 應該會很開心吧？
推 discoveryray: B有個博士生每天拍崩潰影片
推 Hall: 陶哲軒有發表看法 AI本來就可以用龐大的神
→ Hall: 經網路去攻克難題。試一萬種方法只要有一次
→ Hall: 中了就突破了。
推 AirO0264400: 工作量暴增 本來要證明一輩子沒機會
→ AirO0264400: 證明的問題坑坑後輩的 現在變成這輩
→ AirO0264400: 子要驗證AI到底有沒有算對
推 doooooooze: 在想活著的價值啊
推 selfhu: 又少一個金飯碗了