1️⃣ Anthropic 公佈里程碑：Claude 11 天自主完成費馬最後定理的首個端到端電腦驗證證明
Anthropic 發表研究：一支 Claude 證明器隊伍在 Prove2Me 平台上、幾乎全程自主運作 11 天，寫出約 1,300 萬行 Lean 4 程式碼、證明 29,500 個中間定理，完成費馬最後定理（FLT）的首個端到端、機器可驗證形式化證明。這是人類數學家 350 年難題與 1995 年 Wiles 證明之後，AI 首度把整條證明鏈搬進形式系統，也擊敗了原定 2029 年完成的學界 formalization 計畫。顯示前沿模型已能在長程、多步驟的抽象推理任務上自主工作，而非只擅長單次問答。
🔗 來源：Anthropic 官方研究（📌官方公告）
2️⃣ 李開復接受 Bloomberg 專訪：美中 AI 差距縮至 6 個月，競賽本質是「iPhone vs Android」
零一萬物創辦人李開復接受 Bloomberg 週末專訪指出，美中前沿模型差距已從 ChatGPT 問世時的三、四年縮短到約 6 個月，中國團隊僅用美國對手 1~3% 的 GPU 算力，靠十倍於人的苦工追趕。他形容這場競賽是「iPhone vs Android」：美國實驗室賣高階旗艦，中國開源模型以低價規模化複製，並預測中國將靠開發中市場的滲透率而非跑分獲勝。他同時批多數企業 AI 計畫是「表演」，並稱 2026 年是「推理代理元年」。
🔗 來源：Bloomberg（📰媒體報導（Bloomberg））
3️⃣ CodeRabbit 實測 GPT-6 Astra 程式碼審查：抓 bug 比 Opus 5 多 22%，但成本貴 2.5 倍
程式碼審查工具商 CodeRabbit 發佈對 GPT-6 Astra 的實測：整體 code review 抓出的 bug 比 GPT-5.6 Sol 多約 4%、比 Claude Opus 5 多 22%，複雜跨檔案審查差距更拉大到 33%；但以每項任務約 1.50 美元計算，成本是 Sol 的 2.5 倍。Astra 支援符合資格客戶的零資料保留。這是 Astra 發布後首份大規模第三方工程實測，揭示「能力領先但單價翻倍」的取捨正成為企業選型的核心難題。
🔗 來源：CodeRabbit 官方部落格（📌官方公告）