Anthropic

OpenAI 萬名 Agent 攻克千禧難題 Navier-Stokes 論文與學術爭議主視覺

AI 科技與前沿研究

「數學界百年聖杯被 AI 攻破?」OpenAI 宣稱萬名 Agent 88 小時解開千禧難題 Navier-Stokes:165 頁論文技術拆解與背後震驚全球的「威逼奪功」風暴深度解析

OpenAI 宣布次世代模型調動萬名 AI Agent、歷時 88 小時產出 165 頁論文,宣稱攻克千禧年大獎難題 Navier-Stokes 方程有限時間奇點。然而 NYU 數學名家 Tristan Buckmaster 隨即發表 4 頁血淚控訴,揭露 Codex 草稿遭竊用、遭逼迫踢除 Anthropic 合作者與「毀掉你職業生涯」等威脅內幕。本文深度拆解流體數學、萬名 Agent 機制與背後這場震撼全球的學術倫理海嘯。

Claude 完成費馬最後定理 1300 萬行 Lean 形式化證明視覺圖

AI 科技與科學

「百年數學難題被 AI 機器驗證了!」Anthropic 震撼宣布:Claude 僅花 11 天寫出 1,300 萬行 Lean 程式碼,完成人類首個《費馬最後定理》形式化證明全解析

Anthropic 旗下 Claude 僅花 11 天自主產出 1,300 萬行 Lean 4 代碼,完成人類首個《費馬最後定理》端到端電腦形式化證明。本文深度解析 Prove2Me 平台架構、Kevin Buzzard 專家評價,以及 AI 如何化解純數學百年「審稿危機」。