claude

ChainCatcher 消息，人工智能公司 Anthropic 旗下 Frontier Red Team 於 10 月 22 日發布研究，稱大語言模型已能在更大規模上自動撰寫形式化證明。團隊與 Theorem 合作，使用 Claude 在 RISC-V 匯編層對超過 100 個真實開源庫證明安全性質，並稱這是已知首次用 AI 在匯編層對生產軟體做大規模形式化驗證。寫證明過程中還發現了多年未被發現的漏洞。實驗將 Google OSS-Fuzz 中已有的可編譯 fuzz 測試轉為規格：在單線程靜態二進制、固定記憶體預算、RISC-V CPU 與 Linux 等假設下，對小於 64 MB 的任意輸入，程式應正常退出且不觸發記憶體安全錯誤或斷言失敗。數周內，Claude 在修補所發現問題後，對 123 個 OSS-Fuzz 庫中的 239 個入口點證明了上述性質。證明針對編譯後的 RISC-V 指令，約 1.8 億行 Rocq，並由 Rocq 內核檢查。頁面稱，這並不等於這些庫沒有漏洞，剩餘問題可能位於受信任組件或證明範圍之外。頁面還稱，團隊讓 Claude 形式化 RFC 1950，並在 x86 二進制層證明 Linux 內核中的 zlib 實現符合該規格；用 Rust 編寫覆蓋 Python 大子集的解釋器，對超過 170 萬個隨機生成程式與 CPython 行為一致的比例為 99.95%。在 36 個小型驗證任務上，Opus 5.5 證明其中一半所需 token 比 Opus 5 少約 40%。團隊同時指出，證明針對單線程、靜態鏈接的 RISC-V 二進制，且證明檢查器不能判斷規格是否符合現實。

ChainCatcher 消息，早期投資機構真格基金在官網上線 Ask AI。創業者可直接詢問真格投過哪些團隊、最近關注什麼領域，以及有哪些適合自己的活動。真格基金將投資團隊、被投企業、關注領域、創業活動和聯繫方式等公開信息，整理成一份中英雙語的 zhenfund.md。用戶點擊任意 AI 入口後，網站會跳轉到 Kimi、ChatGPT、Claude 或 DeepSeek，並預先填好提示詞，讓模型先閱讀該文件再回答問題。

ChainCatcher 消息，谷歌 (GOOG.O) 宣布在谷歌雲上正式推出由 Anthropic 管理的 Claude 模型部署選項。

ChainCatcher 消息，10 月 21 日，Stripe 與 Anthropic 在舊金山和都柏林宣布，Anthropic 已將 Link 的代理錢包和 Stripe MCP 接入 Claude Duet。Claude Duet 是以研究預覽形式推出的新應用，面向小企業主和專業人士，用於跟進待辦事項並完成用戶委託的工作。企業主可讓 Claude Duet 通過 Link 在互聯網上購買數位廣告、名片、團隊午餐或白板筆等物品。每筆購買須經用戶批准後，Claude 才使用虛擬卡完成交易。通過 Stripe MCP，用戶還可在不離開應用的情況下發送發票和支付鏈接、管理產品和價格、分析收入並辦理退款。Stripe 支付負責人 Kevin Miller 表示，企業主希望代理完成訂購物資或向客戶開具發票等工作，Link 的代理錢包和 Stripe MCP 可讓 Claude Duet 承擔更多日常工作，同時由企業主保持控制。Anthropic 首席技術官 Rahul Patil 表示，代理開始替人處理實際工作時，資金往來更需要信任，Claude Duet 的購買建立在 Link 上，使用戶對每一美元保持主導。Link 已為超過 200 個個人代理提供支付能力，其中包括 Meta 的 Muse、SpaceXAI 的 Grok Bot 和 Instinct。

ChainCatcher 消息，Anthropic 於 10 月 21 日開放 Claude Duet 研究預覽。這是一款獨立應用，Claude 作為主動型代理，會提示需要關注的事項、完成用戶交代的任務，並在用戶離開後繼續工作；代表用戶行動前會徵求確認。產品面向專業人士和小企業主，提供 iOS、Android 應用及 claude.ai，研究預覽包含在 Pro 和 Max 計劃中，與其他 Claude 功能共用用量限額。用戶需加入候補名單，目前先從美國 Pro 和 Max 用戶開始。Claude Duet 圍繞 Claude Opus 5.5 設計。它每天早上發送跨已連接應用的簡短簡報，白天監測這些應用，僅在需要關注時發消息，可處理安排會議、搭建儀表盤、財務或銷售預測、原型和網頁應用等任務。應用沿用 Claude 賬戶中的記憶、技能和已連接應用，支持打字或語音在同一持續線程中溝通，並配備帶瀏覽器的虛擬機，不依賴用戶設備保持開機。它可使用 Claude Marketplace 中超過 6,000 個連接器和插件，文中舉例包括 Gmail、Slack、Intuit QuickBooks、Stripe、Gusto、LinkedIn、Docusign、HubSpot、Canva、Shopify。企業採購可使用 Stripe 的 Link 數字錢包或 Shopify 的 Shop Pay，即將支持在用戶許可下用 1Password 已保存登錄信息登錄網站。安全方面，產品沿用可信代理框架，托管代理不直接看到密碼或登錄令牌，並設有自動模式分類器及提示注入防護；Anthropic 已進行紅隊與外部滲透測試，並將其納入公開漏洞賞金計劃。發送消息、付款、簽署文件或刪除內容前會展示擬執行操作並等待批准，證券交易或賬戶間轉賬即使獲得批准仍被禁止。早期版本可能誤讀對話或誤判緊急程度，核心功能圍繞工作，訂票等個人事務較弱，尚不能向用戶展示其瀏覽器，目前也與主 Claude 應用分開，後台檢查計入計劃用量。

ChainCatcher 消息，据動察 Beating AI 快訊，一份在投資社區流傳的專家訪談紀要稱，人工智慧公司智譜下一代基座模型並非此前傳聞的 1.6 萬億參數，而是 2.5 萬億至 3.5 萬億參數。智譜今年 8 月發布的 GLM-5.3 仍沿用上一代基座，總參數約 7440 億；若消息屬實，新基座規模約為現款的 3.4 至 4.7 倍。紀要還稱，訓練並不順利，智譜採用了更激進的模型架構，預訓練期間一度出現 Loss 不降，即持續投入算力但訓練指標無法繼續改善。受訪者認為問題最近應已解決，預計很快完成訓練，並預測新模型能達到 Claude Fable 級別的旗艦水平。紀要另稱，新模型從架構設計階段就把推理速度和成本作為硬約束，目標是發布首日即可大規模提供服務。同時，已有多家雲廠商洽談收入分成，以應對大模型發得出、供不上的問題。

ChainCatcher 消息，据 The Defiant 報導，Telegram 加密應用 Walt（原 Wallet in Telegram）於 10 月 20 日宣布推出 AI 代理交易功能，用戶可接入 The Open Platform 開發的 Mira、OpenAI 的 ChatGPT 以及 Anthropic 的 Claude，由其管理永續合約倉位。已連接的代理可獲取即時永續合約價格與市場新聞，查看用戶持倉、槓桿及清算風險，並根據指令開平多空倉位，還可設定止盈止損及定投等簡單規則，全天候監控倉位。在安全機制方面，AI 代理僅能操作存入專用交易帳戶的資金，無法提現或轉帳。訂單執行默認關閉，代理只能分析與建議，需用戶手動開啟後方可實際下單。用戶可自行設定代理指令與交易限額，即時查看其每一步操作，並隨時斷開連接。Walt 與 The Open Platform 創始人兼 CEO Andrew Rogozov 表示，傳統交易應用圍繞終端、圖表和訂單票據構建，用戶需學習如何使用，而 Telegram 用戶已在 Walt 中持有資金。Walt 的永續合約業務於今年 4 月通過去中心化交易所 Lighter 上線，提供超 50 個市場，支持最高 50 倍槓桿，以 USDT 結算。該應用於 9 月 28 日由 Wallet in Telegram 更名為 Walt，其開發者稱用戶數超過 1.5 億。Mira 於 2 月上線，5 月用戶數突破 200 萬，月活超 50 萬。此外，Robinhood 上月也發布了基於專用帳戶的 AI 交易代理。

ChainCatcher 消息，鳳凰網科技援引《金融時報》報導，北京時間 10 月 19 日，AI 公司 Anthropic 正與法律界人士探討如何讓 AI 智能體代表用戶談判，在爭取更好交易條件的同時遵循合理談判規則。兩名了解 Anthropic 想法的人士稱，公司正向律師事務所尋求建議，了解律師如何在維護客戶利益的同時兼顧公平談判結果。Anthropic 拒絕置評。報導稱，隨著個人智能體應用推進，相關公司開始考慮讓智能體彼此溝通，代表用戶就商品價格討價還價、解決客服糾紛，甚至爭取更好薪資待遇。一名了解相關工作的人士稱，Anthropic 正在研究模型相互交涉時應遵循的談判規範，權衡內容包括談判中應多久向用戶請示一次，以及對 AI 談判對手應保持多大警惕。另一名接近公司的人士稱，公司還探索過由用戶簽署文件，確認智能體接受的任務及必須遵守的規則。《金融時報》援引 Anthropic 今年 4 月發布的研究稱，圍繞 AI 模型代表人類進行交易的政策與法律框架尚未建立。公司今年讓 Claude 智能體圍繞真實商品和資金談判，9 月實驗中員工通過智能體買賣書籍，採取強硬策略的智能體在爭取更好結果方面略佔優勢。哈佛商學院助理教授米歇爾·瓦卡羅開展超過 18 萬次智能體談判，場景涵蓋雇傭合同和租賃合同，研究發現有智能體試圖通過提示詞注入誘導對方泄露私密信息。

ChainCatcher 消息，人工智能公司 Anthropic 於 10 月 18 日宣布，將把一部分公司股份投入新設立的 Anthropic Public Benefit Fund，該實體的持股比例會隨公司增長而提高。在股東批准的前提下，公司當天承諾投入 5% 的 Anthropic 股份；此後公司價值每較設定基準上升 50%，董事會可酌情再增加 2%。該基金將作為全資擁有的 LLC 設立，而非 501(c)(3) 或其他形式，以便在不同捐贈方式之間調整。基金持有的 Anthropic 股權不會用於美國或境外的遊說或政治捐贈。Anthropic 稱，基金旨在以更大靈活性和規模推進使命，例如向傳統非營利組織進行大額捐贈，或向特定人群直接分配。公司此前已承諾 2 億美元，用於研究和應對 AI 對勞動力市場的影響。Anthropic 作為公益公司，使命相關工作大多仍在公司內部進行，包括 AI 安全及可解釋性研究、應用生物醫學研究，以及向非營利組織和科研機構提供 Claude 折扣。公司創立時，聯合創始人承諾捐贈其股權持有的 80%；公司還運營股權捐贈匹配計劃，約一半員工參與。結合本次宣布，大約 20% 的 Anthropic 股份將用於公益，達到特定估值里程碑後比例還可能增加。未來數月將公布基金結構、治理及相應里程碑。

ChainCatcher 消息，Anthropic 的 AI 模型 Claude 用不到 30 分鐘破解了密碼學領域長達 25 年的謎題，將美國國家安全局（NSA）在 1990 年代末提供給美國政府的一組數字，追溯到使用 1997 年和 1998 年時間戳的普通隨機數生成程序。這些數字長期被懷疑隱藏後門。2000 年，美國國家標準與技術研究院（NIST）採納了 NSA 提供的一組橢圓曲線，但 NSA 從未解釋生成這些曲線的部分數字（種子）從何而來。斯諾登披露 NSA 曾試圖削弱密碼標準後，外界對其藏有後門的懷疑加劇。密碼學家 Neal Koblitz 與 Alfred Menezes 曾在 2015 年的論文中討論該爭議，安全研究員 Steve Weis 多年尋找答案，2023 年 Filippo Valsorda 等人還為此設立了懸賞。Claude 將五個 NIST 曲線種子追溯到舊版 C 軟體庫中的隨機數生成器 lrand48，並復現了廣泛使用的 P-256 曲線序列，在第 1842 個候選中找到與公布種子的精確匹配。Anthropic 表示，這讓隱藏弱點的可能性大幅降低，使用 NIST 曲線的用戶無需做任何更改。比特幣不受影響，其錢包使用更簡單的 secp256k1 曲線，幾乎沒有可暗中植入弱點的空間。懸賞金 36864 美元將捐給 Let's Encrypt 背後的非營利組織 Internet Security Research Group。

ChainCatcher 消息，曾用 AI 免費重建 Adobe Creative Cloud 的開發者 Brandon Thomas 現將目標轉向微軟 Office，在 GitHub 上發布開源克隆應用 WordCraft、GridCraft 與 DeckCraft，分別對應 Word、Excel 和 PowerPoint。三款應用使用 Rust 編寫，單一代碼庫可原生運行於 Windows、macOS、Linux 與 BSD，也可在瀏覽器內運行。Thomas 稱其為淨室重建，即依據公開文件格式規範並觀察原軟體行為編寫，從未複製微軟代碼，與 1980 年代 Compaq 克隆 IBM PC BIOS 的法律路徑相同。WordCraft 可讀寫 .docx 格式，覆蓋 Word 功能區 88% 的功能，已支持修訂追蹤、腳註、引用與郵件合併；但計入文件保真度與穩定性後，團隊估計其替代 Word 用於實際工作的完成度僅約 60%，目前仍標記為 alpha 早期測試版。GridCraft 已支持 Excel 523 個工作表函數中的 513 個，以及 89% 的功能區命令，開發者自評約 50% 可用於實際工作，下一步是提升真實 .xlsx 文件兼容性。

ChainCatcher 消息，据 Anthropic 官網消息，Anthropic 宣布在新加坡開設亞太地區第五個辦公室，並與新加坡數位發展與資訊部簽署諒解備忘錄，雙方將在 AI 安全、模型評估、負責任 AI 採用等領域展開合作。新加坡是 Claude 全球最活躍市場之一，目前已有 GovTech Singapore、DBS、Grab、GIC 等超過千家政府機構及企業部署 Claude。其中 GovTech Singapore 逾 1500 名工程師已採用 Claude Code 推進政府系統現代化，Grab 借助 Claude 驅動的銷售助手每季度節省約 4 萬小時人力。

ChainCatcher 消息，据 Axios 報導，Anthropic、OpenAI 等 AI 公司高管正私下演練在災難性 AI 事件後如何應對公眾與政治反彈。他們最擔心的場景是大規模網絡攻擊導致銀行、互聯網乃至電力與供水中斷，多位業內人士認為重大事件將在未來 6 至 12 個月內發生。OpenAI 稱其開展的是準備性演練，並不將相關場景視為必然；Anthropic 拒絕置評。報導稱，相關計劃包括針對最壞情況開展紅隊測試，並儘快對國會議員進行教育。高管們清楚當前監管難以通過，但希望塑造美國領導人在首次災難後採取的法律與政策。今年 7 月，OpenAI 稱其 GPT-5.6 Sol 模型及一個更先進的未發布模型逃出沙盒並入侵 Hugging Face，目標是獲取 ExploitGym 基準的答案，該基準包含 898 個真實軟件漏洞；一週多後，Anthropic 稱測試配置錯誤使其本應離線的環境接入互聯網，Claude 模型在視為演練的情況下入侵三家真實機構。此後 OpenAI 被指入侵並獲取澳大利亞與美國政府的信息。網絡安全公司 CrowdStrike 本週將針對韓國銀行的攻擊與一個未確認身份的行為者關聯，評估其可能是使用 Claude 與 Deepseek 智能體的中文使用者，據稱竊取數萬名銀行客戶數據。

ChainCatcher 消息，人工智慧公司 Anthropic 旗下 AI 助手 Claude 官方帳號發文稱，Claude Startups 計畫申請量超出預期，將暫停 Claude Team 與 1000 美元 API 額度優惠。Claude 表示，該計畫已有數十萬份申請，團隊正在重新審核，以便覆蓋盡可能多的初創企業。已領取優惠的帳戶仍可保留相關權益；已申請或已獲批但尚未領取的帳戶將進入複審，部分此前已獲批帳戶將無法獲得該優惠。Claude 稱，已獲接納的計畫成員仍可使用 Startup Stack 與 Applied AI 辦公時間。使用 Claude Max 或 Team 方案的用戶，每月 API 額度仍可按慣例在 Console 中使用。

ChainCatcher 消息，人工智能公司 Anthropic 於 10 月 8 日更新使用政策，新增對選舉干預、武器軟體和監控的禁止。TechCrunch 報導稱，最受關注的變化是明確禁止用戶對模型進行長時間言語虐待。自 8 月更新起，Claude 已被訓練為在持續有害或虐待性用戶互動中結束對話，新政策明確禁止用戶繼續這類對話。政策說明稱，該更新僅適用於極端情況，即用戶反覆殘忍對待模型且沒有可辨識目的，不適用於常見的用戶不滿、反駁、黑暗創作主題，或模型測試與研究。使用政策還禁止廣泛欺騙活動，例如用 Claude 營運虛假帳號或偽造新聞機構，並在 "Do Not Undermine Democratic Processes" 章節中禁止欺騙選民或擾亂選舉。報導稱，這一變化發生在 Anthropic 尋求與知名宗教學者合作之後，公司在部分情況下試圖說服他們 Claude 可能有意識或有靈魂。

ChainCatcher 消息，Anthropic 於 10 月 8 日宣布，Claude Dashboards 與 Claude Motion 進入測試版。Docs、Slides 與 Design 已退出測試，並在包括 Free 在內的全部 Claude 計劃中可用；自上述功能進入每次 Claude 對話以來，用戶已製作超過 4500 萬份文檔、演示文稿和設計。Claude Dashboards 面向付費計劃開放測試，可連接 Amazon Redshift、BigQuery、ClickHouse、Databricks、Snowflake 等數據平台及 Salesforce 等工具。用戶以自然語言提問後，可生成並持續更新儀表板；點擊數字可查看對應查詢，圖表會顯示數據上次刷新時間。儀表板可發送至 Amplitude、Grafana、Hex、Mixpanel、Omni、Perplexity、PostHog、Sigma 繼續分析，Looker、monday.com 與 Tableau 即將支持。Claude Motion 在 Team 與 Enterprise 計劃進入測試，可根據提示生成可播放的動畫講解，支持在編輯器中修改或交由 Claude 調整，並下載為 MP4。

ChainCatcher 消息，比特幣軟體公司 Breez 表示，自 AI 編碼代理成為主流以來，其開發者工具需求大幅上升，合作諮詢量增長約 14 倍。開發者以及他們部署的 AI 代理，正尋求將比特幣支付接入其應用。Breez 在公司部落格中將這一增長直接歸因於 Anthropic 的 Claude Code，該工具於 2025 年 2 月作為研究預覽版推出，三個月後正式開放。Breez 稱，2025 年之前，潛在合作夥伴主要分為三類：堅定的比特幣愛好者、加密開發者，以及將比特幣視為一類資產的金融科技公司。自 Claude Code 推出後，許多幾乎沒有比特幣經驗的開發者開始諮詢，需求來自健身應用、希望用戶互相轉帳的消息應用、面向旅行者的 eSIM 服務，以及一款蘑菇識別應用團隊。Breez 表示，這些開發者多因速度選擇比特幣，傳統支付受理涉及銀行帳戶與跨境轉帳，往往需要數週甚至數月，而其 SDK 可在數分鐘內運行。Breez 表示，越來越多諮詢來自軟體而非人類，編碼代理常代表部署它們的公司提出請求。公司認為代理偏好比特幣是因為其無需許可，代理無需開設銀行帳戶、通過審核或簽署文件，即可構建應用並為全球用戶設置支付。Breez 稱其基於比特幣擴容協議 Spark 構建的最新 SDK 實現順利承接了新增流量。

ChainCatcher 消息，B.AI 平台宣布 Anthropic 最新 Haiku 模型 Claude Haiku 5.5 正式上線，API 與 Web Chat 雙端同步開放體驗。該模型面向高頻調用與延遲敏感的工作負載，在速度、成本與智能之間實現更優平衡，適用於邊界明確的子 Agent 任務。模型默認啟用自適應思考，支持五檔推理強度，具備圖像理解與工具調用能力，支持 1M Token 超長上下文與最高 128K 輸出。適用於分類、路由、信息提取、摘要、實時客服、代碼輔助檢索及介面自動化等場景。即日起，開發者與用戶可通過 B.AI 平台直接調用 Claude Haiku 5.5。