Anthropic– tag –

Anthropic 與合作夥伴 Theorem 使用 Claude 對 123 個開源函式庫進行形式化驗證，並生成約 1 億 8,000 萬行證明程式碼。本文將深入探討 AI 從「撰寫」邁向「證明」的意義與其侷限。

Claude 官方帳號介紹了主動行動的代理應用程式「Claude Duet」研究預覽。本文將從提醒使用者留意事項、執行交辦任務、離席時持續工作，以及代為行動前徵求確認這四項設計，解讀 AI 應用的下一種樣貌。

據報導，OpenAI執行長山姆・奧特曼在一場內部演講中，提出了關於AI安全的三種終點。本文將從治理選擇的角度，解析國際監督機構、整合主要實驗室與單一實驗室領跑這三種方案的差異。

Anthropic技術部門初階新進員工的比例，已從27％降至9％；AI代理的運作時數則達全公司人類的6倍。本文探討效率提升背後的人才培育何去何從。

在把AI用到極致的企業職場中，年輕技術人員的占比下降，會議時間則增加。本文將根據Anthropic公布的報告數據，解析AI時代工作型態如何重新組合。

據報導，Anthropic 的 Claude 不到 30 分鐘便查明 NSA 提供的橢圓曲線「種子」來源。重點不在破解密碼，而在揭開設定值的來歷。本文整理 AI 從偏差縮小假設範圍的優勢，以及這項成果的意義。

AI 程式碼開發平台 Replit 的執行長談及與 Anthropic 結束合作，理由涉及成本、合作關係與效能。另一方面，相關人士則主張雙方仍持續合作，凸顯挑選 AI 模型的困難。

Anthropic向投資人公布，2026年第三季營收為168億美元。雖然較前一季成長約45％，但增速已放緩。在11月IPO計畫之前，本文將從成長率、獲利、蒸餾防範措施與競爭環境，解析估值走向。

Anthropic 開發的 JavaScript 執行環境「Bun」推出新版 1.4.3，展示內建型別檢查器的速度比 TypeScript 7 快 3 倍以上。本文也整理其 100％ 通過一致性測試、記憶體用量較低，以及其他更新內容。

Anthropic 的 Jack Clark 表示，AI 在 2027 年達到足以訓練後繼 AI 的水準，機率超過五成。不過，他也表示，明年實際執行自我改進的可能性「接近於零」。本文將整理區分能力與實際執行的觀點。

Anthropic表示，已加強因應針對Claude推理過程的大規模抽取行為，並將抽取量減少90%至99%。本文將從假帳號、分類器與停用帳號等防禦設計，解析AI競爭的新戰場。

Claude Managed Agents新增動態工作流程，最多可讓1000個AI代理平行運作。錯誤偵測測試顯示，其結果優於單一代理，但處理量增加所帶來的費用，將是是否導入的重要考量。