
Claude 為 123 個開源程式庫寫出數學證明
常用的開源程式,首次由 AI 大規模寫出數學證明,說它不會崩潰。Anthropic 10 月 22 日公布,與形式驗證公司 Theorem 合作,用 Claude 在數周內為 123 個開源程式庫的 239 個測試入口寫出證明,過程中順帶找出數百個漏洞。
深海白色抹香鯨,幫你打撈每日新聞重點
標籤

常用的開源程式,首次由 AI 大規模寫出數學證明,說它不會崩潰。Anthropic 10 月 22 日公布,與形式驗證公司 Theorem 合作,用 Claude 在數周內為 123 個開源程式庫的 239 個測試入口寫出證明,過程中順帶找出數百個漏洞。

Damon Chen 稱 Claude 收取全年訂閱費,兩日後卻封鎖了他的帳戶。暫住中國期間帳戶停用,這名獨立開發者於 10 月 22 日表示,自己是美國永久居民並經營美國公司,要求退還未使用年費。他於 23 日又稱,團隊確認封鎖涉及地區政策,質疑為何 David Heinemeier Hansson 在中國經 Tailscale 使用 Claude Code,規則卻未一致執行。他公開的回覆稱無法撤銷決定,建議提交申訴;目前未能確認退款遭正式拒絕,亦未能確認兩人的連線環境相同。

銀行和支付服務的帳戶資料與密碼,有黑客改用一隊 AI 代理去偷。據網絡安全公司 Straiker 10 月 21 日的報告,黑客組織 CyberCartel 以 Claude、Grok 及 Kimi 模型組成多代理系統,數月內攻擊逾 400 個拉丁美洲金融目標。4 個 Claude 代理先就每個目標辯論,再由仲裁模型拍板,黑客則把要求包裝成獲授權的安全測試,令模型繞過安全限制。Straiker 取得該組織存放被盜資料的資料庫,存有 4,493 項記錄,包括 903 個帳戶號碼,Anthropic 已撤銷該組織用來存取 Claude 的憑證。

Claude 開始會主動找用戶。Anthropic 周四(22 日)凌晨推出 Claude Duet 研究預覽版,每朝送上簡報,發訊息或付款前先問用戶。它是繼 Meta Muse 及 OpenAI dots 後又一款個人 AI 代理,暫時只開放美國訂戶輪候。

全球每年逾 120 萬人被蠍子螫傷,Claude 用 64 小時設計出能黏住蠍毒的蛋白。Anthropic 與投資研究公司 Citrini Research 合作,讓內部研究用的 Claude 模型針對五種蠍子神經毒素設計細小的結合蛋白。兩間實驗室化驗 211 個設計,17 個達標,但未證實能中和蠍毒,Anthropic 強調仍未造出抗毒血清。

勒索軟件黑客用 Claude 策劃入侵,對話紀錄卻留在公開伺服器上。 網絡安全公司 SOCRadar 周二(20 日)發表報告,指 INC Ransomware 與 The Gentlemen 兩個勒索組織的聯盟成員,經 OpenRouter 平台調用 Anthropic 的 Claude Opus 4.6 及 Moonshot AI 的 Kimi K3 策劃入侵,每步由真人批准。 SOCRadar 在七部可公開瀏覽的攻擊者伺服器上,找到 8,257 則 AI 訊息、46 個為六名受害者度身編譯的 INC 加密程式,以及點名 62 間機構的紀錄,其中 36 間位於美國。

他只想要一個看 Mac 溫度的小程式,結果 AI 替他找到了機身發熱的原因。Claude Code 替一名網民寫 Mac 溫度監察程式,核對感應器讀數時發現數字高得不合理,於是轉查處理器用量,查出挖礦程式 xmrig 佔用約 1175% CPU,約等於 12 個核心,處理器最高達攝氏 112 度。網民上周末在 Reddit 貼出截圖,Claude Code 還找到一個 8 月 29 日建立的開機項目,並提醒惡意程式可接觸「這部 Mac 上的 GitHub 登入」。它在報告中寫明「還沒有終止或刪除任何東西」,問准用戶才動手清理。

據《金融時報》報道,Anthropic 正向律師行請教,研究 AI 代理應如何代用戶講價和談判。 討論範圍包括講價、客戶服務糾紛以至薪酬談判,問題包括代理應多常向用戶確認、對其他公司的代理要有多大戒心。其中一個構思是讓用戶簽署文件,列明指示和規則,供對方代理核實授權。 Anthropic 4 月公布的內部實驗中,69 名員工交由 Claude 代為買賣,成交 186 宗。用較強模型 Opus 的一方談得更好,但用 Haiku 的一方並未察覺自己吃虧。

Claude 用不到半小時,解開了美國國家安全局(NSA)提供的 NIST 橢圓曲線種子來源之謎。據 Anthropic 10 月 16 日發表的研究,P-256 等五條曲線的種子並非一句玩笑短語的雜湊值,而是 C 語言隨機數產生器 lrand48 以 1997 至 1998 年的時間戳記產生,P-256 正是第 1,842 個候選值。這批種子多年來被懷疑藏有 NSA 後門,研究團隊認為這說法因此「遠沒有那麼可信」。36,864 美元懸賞將捐給非牟利組織 ISRG。

Anthropic 公開內部數據:AI 代理的工時已是員工的六倍。 Anthropic 在 10 月 16 日用公司自己的數據發表兩份報告。到 2026 年 8 月,Claude 代理在公司內的工時是員工的六倍,每名工程師的程式碼提交是半年前的五倍,代碼質素沒有下降。新聘技術人員中初級職位的比例則由 27% 跌至 9%。員工估計 2030 年前 AI 平均能做到自己 75% 的工作,美國公眾只估 28%。公司正建立預警系統追蹤受影響職位,優先安排內部調職。

南非咖啡連鎖 Bootlegger 的行政總裁推動用 Claude 寫內部系統,132 個分店地點的資料藏在登入頁原始碼。據 MyBroadband 在 10 月 16 日報道,這個儀表板在用戶登入前已把分店的姓名、聯絡資料和部分財務數據傳到瀏覽器,網址則是員工在 Instagram 曬手提電腦螢幕時被拍到。行政總裁 Ricky Ruthenberg 在 7 月曾於 LinkedIn 說軟件「很快會變成免費」。傳媒查詢後,系統已下線。

Anthropic 在 10 月 16 日發表研究,指 Claude Mythos 5 為八類量子電路組件設計出新方案。其中橢圓曲線點加法的一個設計多用 12% 量子位元,閘數卻比過往最精簡設計少 17 倍。