看板 Gossiping 關於我們 聯絡資訊
備註請放最後面 違者新聞文章刪除 1.媒體來源: ※ 例如蘋果日報、自由時報(請參考版規下方的核准媒體名單) ※ Yahoo、MSN、LINE等非直接官方新聞連結不被允許 iThome 2.記者署名: ※ 若新聞沒有記者名字或編輯名字,請勿張貼,否則會被水桶14天 ※ 外電至少要有來源或編輯 如:法新社 陳曉莉 3.完整新聞標題: ※ 標題沒有完整寫出來 ---> 依照板規刪除文章 OpenAI宣稱其AI系統解出了七大千禧年數學難題之一 4.完整新聞內文: ※ 社論特稿都不能貼!違者刪除(政治類水桶3個月),貼廣告也會被刪除喔!可詳看版規 OpenAI周二(9/8)宣布,尚未公開的內部AI模型解出千禧年數學難題「Navier–Stokes Ex istence and Smoothness」(納維-斯托克斯存在性與光滑性問題),但旋即遭控涉及學術 倫理爭議。 千禧年數學難題是克雷數學研究所(Clay Mathematics Institute)於2000年提出的7道數 學界公認最困難的未解問題,每破解一題可獲得100萬美元獎金。納維-斯托克斯存在性與光 滑性問題正是其中之一,探討用來描述水、空氣等流體運動的納維-斯托克斯方程式,即使 初始流動狀態完全平滑,這套方程式所預測的流體運動,是否可能在有限時間內失控,出現 速度趨近無限大的「奇異點」(Singularity),導致數學模型不再能準確描述真實流體行 為。 OpenAI是在今年的9月1日才開始解這道數學題,總計動用了1萬個AI代理人,耗時88小時, 估計涉及270萬則訊息,1,300億個輸出Token,大約1,500萬美元的成本,於9月5日得出結果 。 同時,OpenAI也坦承,當時是聽到Anthropic已解出相關數學難題的謠言才啟動這個緊急專 案的。 謠言主角之一的紐約大學數學教授Tristan Buckmaster則發表了一篇公開聲明,質疑OpenAI 利用客戶儲存於OpenAI Codex中的內容來訓練模型。 Buckmaster說,他與Anthropic研究人員Levent Alpöge私下一起進行數學研究,並不涉及 任何機構,也在過程中同時使用不同的大型語言模型,包括Anthropic的Claude與OpenAI的C odex。他們企圖升級兩名數學家Córdoba和Martínez-Zoroa的成果,這兩位數學家已經證 明在流體方程式中施加粗糙外力,可以讓流量於有限時間內產生奇異點,而他與Alpöge則 想把粗糙外力升級為平滑外力。這一年來一直進展緩慢,一直到8月中旬左右才有了真正的 突破。 就在他們開始撰寫論文時,業界已開始謠傳Anthropic解出了重大數學難題(其實那離千禧 年難題還有一段距離),並已傳到OpenAI耳邊,於是Buckmaster在9月3日主動聯繫OpenAI, 澄清那是他們私下的研究,與Anthropic無關,但接著OpenAI在9月6日就告知他,他們的模 型已生成出受迫納維-斯托克斯有限時間奇異點的證明。 Buckmaster認為,OpenAI所採用的路線相當冷門,卻與他和Alpöge正在研究的方向高度相 似;此外,他原先以為OpenAI幾乎只是將問題交給AI模型處理,但在後續交談中才得知,Op enAI其實組織了一整個研究團隊並投入大量運算資源。而當他詢問OpenAI是否存取過他們存 放在Codex的對話紀錄或用它來進行訓練,畢竟他們把所有的草稿都放在Codex,OpenAI則回 答模型不會查看用戶資料,但並未回答訓練問題。 對於Buckmaster的質疑,OpenAI則澄清,不管是研究人員或是AI代理人,都沒有透過任何方 式看過他們的研究內容,而且在解決這個問題的過程中,並未存取任何特定使用者的資料; 儘管可能性不高,但OpenAI亦無法完全排除,從他們使用該公司產品所衍生出的去識別化資 料,可能有助於改善其模型。 Buckmaster已公布與Alpöge所解出的3個成果,它們分別是平滑外力下(finite-time blow up with smooth forcing)的不可壓縮多孔介質方程(Incompressible Porous Media Equa tion)、Boussinesq方程(Boussinesq Equation/System)與三維不可壓縮歐拉方程(3D I ncompressible Euler Equations)。 至於OpenAI雖然宣稱已解出納維-斯托克斯存在性與光滑性問題,而且已利用Lean完成形式 化驗證,但尚未經過公開檢驗、同行審查或獨立重現,不管有沒有經過更進一步的檢驗,Op enAI已表示不打算申請100萬美元的Clay獎金。 5.完整新聞連結 (或短網址)不可用YAHOO、LINE、MSN等轉載媒體: ※ 當新聞連結過長時,需提供短網址方便網友點擊 https://www.ithome.com.tw/news/178803 6.備註: ※ 一個人一天只能張貼一則新聞(以天為單位),被刪或自刪也算額度內,超貼者水桶,請? ※ 備註請勿張貼三日內新聞(包含連結、標題等) -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 61.224.169.216 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1788937455.A.E3E.html
zaqimon: 所以AI可以出去賺錢給我花了嗎?123.194.191.226 09/09 15:05
applejone: 先解決真空災難吧 140.112.14.15 09/09 15:05
higameboy: 去水果攤買個水果價錢多少 要解數學題? 114.45.202.184 09/09 15:05
StylishTrade: XDDDDDDDDDDDDDDDDDDDDD111.250.150.171 09/09 15:07
StylishTrade: 誰叫你要用AI 被抄活該QQ111.250.150.171 09/09 15:08
badbadook: 還蠻屌的 111.249.134.59 09/09 15:08
dazzzlee: 偷人家的論文還這麼囂張 笑死 223.140.95.104 09/09 15:10
jackgn: 這是好問題,數學家用ai 解題,功勞算誰 111.71.129.110 09/09 15:11
jackgn: 的?通常考試都不允許帶工程計算機。 111.71.129.110 09/09 15:12
StarTouching: 陶哲軒又要忙了 211.72.117.63 09/09 15:13
saladbread: 陶已經放棄了 101.9.99.97 09/09 15:15
pmes9866: 這一天遲早要來123.195.155.164 09/09 15:23
atpx: 陶有說他已經不追求看完最新論文114.136.161.238 09/09 15:24
atpx: 這例子很明顯拿codex 內用戶資料訓練114.136.161.238 09/09 15:24
mecca: 世上最大難題 賺錢給我花 這解得出來? 211.74.244.115 09/09 15:25
zzro: 非企業帳號資料本來就會被拿去訓練 合法合210.157.193.187 09/09 15:27
zzro: 規210.157.193.187 09/09 15:27
rumblefish: 然後呢.. 42.72.30.5 09/09 15:30
safyrose: 100%被拿去訓練 你要用就要承擔 125.228.1.214 09/09 15:34
safyrose: GPT都會跟我講 這東西我幫別人寫過很多 125.228.1.214 09/09 15:35
tim910282: 所以兩邊都沒證明出來,是這意思嗎? 42.74.207.101 09/09 15:36
FertilizerN: 獎金100萬 先燒1500萬解題 42.79.50.247 09/09 15:41
shoyeh: OpenAI什麼都用偷的 看那CEO就知道118.168.253.117 09/09 16:05
oyaji5566: 所以AI能算出明天台股漲還跌幾點嗎 223.137.162.94 09/09 16:53