ÉTAT HER

OpenAI一次釋出722篇數學手稿 單一提示挑戰372道難題惹議

OpenAI在GitHub公開722篇手稿,宣稱在372道數學難題上取得進展,多數成果僅靠一句提示交給單一AI代理完成。然而核心模型、具體提示與運算時間均未公開,外界對結果真實性提出質疑。

OpenAI一次釋出722篇數學手稿 單一提示挑戰372道難題惹議

722篇手稿、372道數學難題,平均每個結果只花了約三小時的ChatGPT Pro用量——這是OpenAI這次公布的規模。但真正耐人尋味的是方法:據OpenAI告訴《Scientific American》,幾乎每一篇論文都是用單一提示交給單一AI代理人完成的。

這批手稿全數上傳到GitHub,由OpenAI新成立的顧問小組「數學與人工智慧諮詢委員會」(Advisory Group on Mathematics and Artificial Intelligence,AGMAI)確認。上個月OpenAI已先表態,稱其模型「解決了橫跨數學多數領域、超過100個長期懸而未決的問題」,這次等於把具體清單攤開。公司表示提出成果的是一個尚未對外釋出的ChatGPT先導模型。

OpenAI聲稱的重點成果包括四維Kakeya猜想的解答、若干關鍵電腦演算法的改良,以及在黎曼猜想上的進展——這三者任何一個若經證實,都足以成為數學界的大事。公司在發布文字中寫道,這次先以GitHub儲存庫形式公開,附帶論文修訂與引用的機制,「同時仍在尋找符合委員會準則的其他社群託管方案」,並承諾未來的發布會在引用規範、數學論述與呈現方式上做得更完整。

但AGMAI建議的透明度,OpenAI只做了一半。委員會原本建議公開每個問題個別的運算時間與所使用的提示,OpenAI這次並未照做,只提供了整體的推理過程、運算估算與嘗試問題的數量概況。換句話說,外界看得到結果清單,卻看不到讓人覆核這些結果是怎麼跑出來的具體路徑。

這正是爭議的核心。在此之前,OpenAI的Navier-Stokes相關主張已經在數學界掀起一輪風波,讓不少學者對「AI一次性解題」的說法保持謹慎。MIT數學家Andrew Sutherland告訴《Scientific American》:「除非他們釋出模型、讓人可以重現這些結果,否則任何關於單一代理人一次解題的說法,都應該視為未經證實。」

OpenAI公布的這批手稿,目前仍需數學家逐一檢視驗證,影響範圍要等審查結果出爐才能判斷。至於模型本身是否會對外開放、具體提示內容何時補齊,OpenAI尚未給出時間表。

延伸閱讀

焦點解讀|淨損420億美元又寫下AI滅絕警告 Anthropic仍衝2兆美元IPO
Living

焦點解讀|淨損420億美元又寫下AI滅絕警告 Anthropic仍衝2兆美元IPO

重點整理:Anthropic的IPO草案罕見地在招股書中承認自家AI可能對人類構成「存在性風險」,同時揭露去年虧損420億美元,估值卻仍上看2兆美元。

再也不怕沒電開不了門?Ring 新智慧鎖藏了個手搖發電機關
Living

再也不怕沒電開不了門?Ring 新智慧鎖藏了個手搖發電機關

Ring 創辦人 Jamie Siminoff 指出,電池耗盡的焦慮一直是智慧鎖難以普及的主因。新款 Smart Lock 因此內建手搖發電機制,緊急時轉動把手即可供電開鎖,預計 2027 年初以 249 美元上市。

先看 Google One 等級:Google 推出實驗性遊戲創作平台 Playground,打字即可做遊戲
Living

先看 Google One 等級:Google 推出實驗性遊戲創作平台 Playground,打字即可做遊戲

Google 新推出的 Playground 平台依會員等級分級開放使用,目前僅限美國 18 歲以上使用者。不需寫程式或繪圖技能,只要輸入幾句提示詞,就能生成 2D 或 3D 遊戲。

760億美元交易底定,Skydance 宣布 HBO Max、Paramount+ 將走向合併
Living

760億美元交易底定,Skydance 宣布 HBO Max、Paramount+ 將走向合併

Skydance 證實旗下 HBO Max、Paramount+ 與 Discovery+ 三平台將分階段整併為單一串流服務,此舉伴隨著 1100 億美元收購華納兄弟探索案的完成,但合併後服務名稱與收費方式目前尚未公布。

併購塵埃落定!派拉蒙攜手華納兄弟,新東家掛牌「Skydance」
Living

併購塵埃落定!派拉蒙攜手華納兄弟,新東家掛牌「Skydance」

經過近一年談判與監管關卡,這樁110億美元交易終於拍板定案,雙方正式整併為新公司Skydance,一併接手的還有高達800億美元債務。

塵封25年終見天日!PS2初代安全晶片SPC970內部程式碼全數現形
Living

塵封25年終見天日!PS2初代安全晶片SPC970內部程式碼全數現形

開發者DiscoStarslayer與夥伴Libby靠著一個EEPROM寫入漏洞,花四年時間成功從初代PS2的MechaCon安全晶片中取出firmware,相關22組映像檔目前已公開在GitHub上。