·科技·
B2

OpenAI Claims Its AI Agents Solved a 90-Year-Old Fluid Mathematics Problem

OpenAI 聲稱其 AI 代理解決了一項有 90 年歷史的流體數學難題

#artificial intelligence#mathematics#OpenAI#fluid dynamics
0:00 / 0:00

OpenAI claims to have solved part of a 90-year-old mathematics problem using an advanced internal artificial intelligence model and a swarm of 10,000 autonomous AI agents. Working concurrently for about 88 hours, the system targeted the Navier-Stokes equations, which describe how liquids and gases flow and remain one of the most elusive puzzles in fluid dynamics.

claims to have solved= 使用「claim to have + 過去分詞」來表示主張過去已經完成的行為Working concurrently for about 88 hours,= 分詞構文,用來說明主句動作發生的方式與持續時間

The Navier-Stokes existence and smoothness problem is one of seven Millennium Prize Problems established by the Clay Mathematics Institute, carrying a $1 million reward for a complete solution. OpenAI reported that its AI agents exchanged nearly 3 million messages and generated 130 billion tokens of output to resolve two of the four key statements required by the prize rules. The company stated that the computation cost roughly $10 million and clarified that it does not intend to claim the prize money. The proof has not yet been independently verified by the mathematics community.

The announcement has stirred debate within the research community over timing and data usage. Just before OpenAI released its findings, New York University mathematics professor Tristan Buckmaster and Anthropic researcher Levent Alpöge published related work on the same problem. Buckmaster raised questions about whether OpenAI's internal system learned from session data they had submitted while using OpenAI's Codex tool for their own research.

raised questions about whether= 用於針對某種狀況或可能性提出質疑或疑問的句法結構

OpenAI denied accessing specific user data for the solution, asserting that its proof differs significantly from the work of Buckmaster and Alpöge. However, the company acknowledged it could not entirely rule out that de-identified user data was included in model training. OpenAI team member Sebastien Bubeck also emphasized that the two research teams reached different precise results through distinct mathematical routes.

could not entirely rule out that= 表示無法完全排除某種可能性,屬於表達謹慎立場的用語

學習筆記

文法整理

句型意思
claims to have solved使用「claim to have + 過去分詞」來表示主張過去已經完成的行為
Working concurrently for about 88 hours,分詞構文,用來說明主句動作發生的方式與持續時間
raised questions about whether用於針對某種狀況或可能性提出質疑或疑問的句法結構
could not entirely rule out that表示無法完全排除某種可能性,屬於表達謹慎立場的用語

詞彙整理

單字意思
swarm大量聚集並一起移動的人或動物;群聚的人群或生物。
concurrently同時地;在同一段時間內重疊進行地
elusive難以描述、界定或清楚說明的;難以捉摸的
rule out經過考量、檢驗或排除可能性後,認定某種情況不可能發生,或不是造成某種結果的原因。
distinct不同的;有別於其他事物的

延伸學習

  • 納維-斯托克斯方程是計算流體力學(CFD)的基礎,廣泛應用於航空動力學、氣象預測與海洋學等領域。
  • 千禧年大獎難題由克雷數學研究所於 2000 年設立,旨在鼓舞針對數學界最核心未解難題的研究,每題賞金為 100 萬美元。
  • 此爭議反映出 AI 研究中日益受到關注的資料倫理問題,即使用者在操作如 Codex 等 AI 工具時留下的對話或程式碼 session 資料是否會無意間進入模型訓練集。

練習

測試你剛學到的內容。

  1. Working concurrently for about 88 hours, the system targeted the Navier-Stokes equations, which describe how liquids and gases flow and remain one of the most   puzzles in fluid dynamics.

  2. Why did OpenAI's announcement stir debate within the mathematics research community?

Source: BBC, The Verge