Claude 給自己發"身份證":Anthropic 用零知識證明斬斷套殼灰產

2026年11月4日 03:307100 次瀏覽
站內 AI 整理稿

AI資訊AI新閒資訊正文Claude 給自己發"身份證":Anthropic 用零知識證明斬斷套殼灰產發布於AI新閒資訊時間 :Nov 4, 2026閱讀 :1分鐘掏頂配的錢卻調縮水模型,曾是大模型供應鏈最隱秘的灰色地帶。Anthropic 聯手零知識證明學者開源 FlashProve。驗真分三步:上線前在單張 H100 花約 39 分鐘,給權重生成"手印"ID 公開;每次對話後 GPU 生成約 19MB 證明;用戶在普通 CPU 跑 cp_verify,17 秒判真假,不需權重與 GPU。底層 zkSNARK 每請求約 2000 個 sumcheck,安全只依賴哈希 BLAKE2。

AI 寫代碼、Lean 當判官,人類只守六條鐵律難點在算力:測試用 4000 億參數的 Llama 4 Maverick,4-bit 權重達 232GB,單張 H100 顯存僅 80GB。FlashProve 借 MoE——每 token 只激活約 170 億參數,證明量只跟這 170 億掛鉤、省 95% 陪跑,路由藏進指示向量保密;權重放內存分段流式進 GPU 才吞下巨獸。更硬核的是倉庫:95.2% 代碼(約 398MB)是 Lean 4 數學證明,114 頁論文與底層代碼幾乎全出自 Claude。

人類只跟 AI 敲定 6 條安全定義——完備性(誤拒低於萬億分之一)、知識可靠性(造假概率低於 2 的 100 次方分之一)、零知識(反覆核驗不洩權重)。讀不完海量推導,人類定公理、AI 推理、數學終審,成通往超級智能的安全契約。相關推薦Anthropic產品團隊出現人事變動,Claude Code負責人離開Anthropic Claude Code產品負責人Cat Wu已離職。她在X稱週五是最後一天,未透露原因及去向。她曾負責Claude Code和Cowork。

此前在Scale AI、Dagster任工程師,後任職Index Ventures,2024年8月加入Anthropic,先做研究方向產品經理,後參與Claude Code及Cowork。Nov 4, 202694.5k藏在衛生紙裡的錄音器,扯出 OpenAI 多年安全積弊今年10月,OpenAI高管會議室被偷放錄音設備。美司法部10月13日通報,涉案者為35歲沙特公民、時任OpenAI工程師阿爾福贊,設備藏於衛生紙中。多名前員工並不意外,稱公司安全積弊已久:早在2022年底ChatGPT問世前,就有人警告安全管理問題,卻多年未被重視。路透社援引5名知情人士披露。Nov 4, 2026111.

3kAnthropic發佈開源系統FlashProve:通過密碼學指紋實現AI模型身份可驗證2026年11月3日,Anthropic宣佈推出開源系統FlashProve,為AI模型身份驗證與輸出真實性提供密碼學層面的數學保證,致力於實現“可驗證推理”。它可防止服務提供商秘密替換模型,如以低成本模型冒充高性能模型或誇大性能,也能驗證第三方對複雜任務執行情況的聲明。技術實現部分原文未完整披露。Nov 4, 2026144.

1k營收狂飆卻難掩鉅額賬單:Anthropic三季度重回虧損,近 9000 億美元算力承諾成IPO最大考驗Anthropic向SEC提交招股書修訂稿,補全2026財年第三財季(截至9月30日)財務數據。公司營收仍快速增長但增速放緩;因短期算力成本激增及多項費用疊加,僅維持一個季度經營盈利便再度轉虧。其近9000億美元算力採購承諾引發市場廣泛關注,經營盈利“曇花一現”。Nov 3, 2026176.0k​從 2 萬億到 1.5 萬億:Anthropic 上市前夜,公開市場給 AI 潑了盆冷水《華爾街日報》11月3日稱,上週科技股踩踏改寫Anthropic上市估值。

參與IPO機構預計,本月底掛牌估值1.5萬億至1.6萬億美元,低於此前近2萬億。因納斯達克自高點回落約一成,英特爾單日暴跌29%,Alphabet財報後市值蒸發約5000億美元,恐慌傳導至這家未上市AI明星。Nov 3, 2026149.0k智啟未來,您的人工智能解決方案智庫English簡體中文繁體中文にほんご© 2026

Related

相關文章

創作者最怕的"版權申訴",YouTube 用 AI 配樂一鍵化解

11 月 4 日,YouTube 把緩解這樁麻煩的"替換歌曲"(Replace song)工具推向全球創作者——它此前已在美國試水。操作邏輯很直接:當創作者收到音頻版權申訴,工具會即時生成四首獨特的免版稅器樂背景音樂,用來替換那段受版權保護的音頻;替換一旦完成,對應的 Content ID 聲明便自動撤銷。

1 小時前4600

中國開源AI憑什麼火遍全球?烏鎮峰會揭秘:調用量連續 27 周超越美國,成海外企業和開發者的香餑餑

烏鎮峰會揭秘:調用量連續 27 周超越美國,成海外企業和開發者的香餑餑發布於AI新閒資訊時間 :Nov 4, 2026閱讀 :1分鐘在浙江烏鎮舉辦的2026年世界互聯網大會烏鎮峰會上,關於人工智能開源生態的話題成為了全場矚目的焦點。近年來,中國AI大模型憑藉持續的技術迭代、高性能以及高性價比,在全球範圍內持續“圈粉”,展現出強勁的國際競爭力。

1 小時前7200

歐洲法院顧問警告:Gemini若繞過付費牆或複用內容或涉嫌侵權

該意見指出,在特定情況下,谷歌旗下的 AI 聊天機器人 Gemini 使用新聞報道可能違反版權規定,若其非法繞過付費牆等手段獲取內容,或在回答中以可識別的方式複用新聞報道的具體表達形式,就可能侵犯出版商的複製權。法律邊界劃定:單純事實不受保護,訓練模型屬於合法例外在這份備受行業關注的法律意見中,總顧問對版權保護的範圍與大模型訓練的合規性進行了詳細拆解:版權保護的邊界: 版權規則明確規定不保護新聞中的單純事實,僅保護事實的具體表達形式。

1 小時前4800

AI與組織效率驅動調整 Canva啟動大規模重組

CEO Melanie Perkins週三在致員工的內部信中表示,Canva近十年來首次出現增長放緩,現有組織架構已難以適應下一階段發展,需要通過重組提升效率。此次調整將產品、增長和平臺團隊合併為統一的“產品組織”,簡化管理層級、整合重疊職責,並組建規模更小、決策權限更大的團隊。

1 小時前5100

消息稱字節跳動大面積限制員工自費使用第三方AI工具

此次封禁的核心原因為防範數據洩露與資產安全風險,技術副總裁洪定坤在內網迴應時指出,L3及以上級別的核心內容一旦洩露後果極其嚴重,但同時也強調不應通過封禁其他選擇來強迫推廣內部產品。作為核心技術骨幹與管理者的分水嶺,L4級代碼庫沉澱了字節跳動全線業務的核心資產與底層架構,這也讓此次風控升級備受內部關注。

2 小時前5600

Anthropic產品團隊出現人事變動,Claude Code負責人離開

她近日在社交平臺X發文稱,週五是自己在Anthropic工作的最後一天,但未透露離職原因及下一步去向。Cat Wu曾負責Claude Code和Cowork兩款產品。加入Anthropic之前,她先後在Scale AI和Dagster擔任工程師,之後轉入風險投資機構Index Ventures工作。

2 小時前5200