Claude– tag –

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

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

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

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

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