AI 科技與科學

Claude Fable 5.1 破解烏克哈特雙行密文官方主視覺

AI 科技與科學

人類困惑 370 年的歷史密碼,AI 花 44 分鐘破解!Claude Fable 5.1 攻克烏克哈特雙行密文:兩大破綻解密英國保王黨隱藏祈禱文、加碼破解 285 字八行詩全解析

Vals AI 測試 Claude Fable 5.1,在零人工干預下耗時 44 分鐘破解懸宕 370 年的烏克哈特歷史密文,並順勢解開《The Jewel》285 字八行詩密文。本文深度解析兩大破綻、解密全過程與 AI Agent 終結「人類注意力瓶頸」的全新範式。

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

AI 科技與科學

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

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