Anthropic發佈開源系統FlashProve:通過密碼學指紋實現AI模型身份可驗證
AI資訊AI新閒資訊正文Anthropic發佈開源系統FlashProve:通過密碼學指紋實現AI模型身份可驗證發布於AI新閒資訊時間 :Nov 4, 2026閱讀 :1分鐘2026年11月3日，Anthropic研究團隊宣佈推出一款名為FlashProve的開源系統，旨在為人工智能模型的身份驗證與輸出真實性提供密碼學層面的數學保證。該系統致力於實現“可驗證推理”，能夠有效防止服務提供商在商業運行中秘密替換模型（如以低成本模型冒充高性能模型，或以廉價模型誇大性能結果），同時也可用於驗證第三方關於複雜任務執行情況的聲明。
在技術實現上，FlashProve要求AI實驗室為其發佈的模型生成並公開特定的“指紋”，以便客戶端進行加密匹配。該系統核心優勢在於其指紋機制不會洩露模型的內部權重數據，兼顧了商業模型的保密需求與兼容性。此外，該輕量級系統支持在本地設備上直接完成驗證。目前，Anthropic已在GitHub上開源了該項目的詳細技術規範與工作代碼，現階段該研究主要用於階段性成果分享與行業參考，暫無具體的商業部署計劃。這一開源進展為解決大模型推理過程中的信任與透明度痛點提供了重要的技術演進方向。相關推薦藏在衛生紙裡的錄音器，扯出 OpenAI 多年安全積弊今年10月，OpenAI高管會議室被偷放錄音設備。
美司法部10月13日通報，涉案者為35歲沙特公民、時任OpenAI工程師阿爾福贊，設備藏於衛生紙中。多名前員工並不意外，稱公司安全積弊已久：早在2022年底ChatGPT問世前，就有人警告安全管理問題，卻多年未被重視。路透社援引5名知情人士披露。Nov 4, 202659.9k營收狂飆卻難掩鉅額賬單：Anthropic三季度重回虧損，近 9000 億美元算力承諾成IPO最大考驗Anthropic向SEC提交招股書修訂稿，補全2026財年第三財季（截至9月30日）財務數據。公司營收仍快速增長但增速放緩；因短期算力成本激增及多項費用疊加，僅維持一個季度經營盈利便再度轉虧。
其近9000億美元算力採購承諾引發市場廣泛關注，經營盈利“曇花一現”。Nov 3, 2026155.5k從 2 萬億到 1.5 萬億：Anthropic 上市前夜，公開市場給 AI 潑了盆冷水《華爾街日報》11月3日稱，上週科技股踩踏改寫Anthropic上市估值。參與IPO機構預計，本月底掛牌估值1.5萬億至1.6萬億美元，低於此前近2萬億。因納斯達克自高點回落約一成，英特爾單日暴跌29%，Alphabet財報後市值蒸發約5000億美元，恐慌傳導至這家未上市AI明星。Nov 3, 2026161.
1kAnthropic修訂S-1文件:AI可能很快達到遞歸式自我改進閾值Anthropic在修訂版S-1/S-1A中更新風險披露，稱公司可能很快達到遞歸式自我改進相關能力閾值，並警告AI自主研發加速會帶來新安全風險。公司正越來越多用AI系統加速自身研發，模型能力提升速度可能超過安全驗證、校準和保障措施完善速度，且曾未能及時察覺AI輔助研發帶來的風險。Nov 3, 2026166.7k四大 AI 巨頭聯手設"拒爬"標準：網站主有了統一退出開關11月1日消息，OpenAI、谷歌、微軟與Anthropic將共同採用新標準，讓網站主能在現有robots.
txt中一次性聲明“拒絕AI抓取”，不必逐家協商。該機制由Anthropic的Kevin Kelley提交IETF。此前robots.txt只用於告知搜索引擎，今後可統一管理AI爬蟲，方便內容方拒絕被“薅”內容。Nov 2, 2026234.3k智啟未來，您的人工智能解決方案智庫English簡體中文繁體中文にほんご© 2026
Related
相關文章
AI與組織效率驅動調整 Canva啟動大規模重組
AI資訊AI新閒資訊正文AI與組織效率驅動調整 Canva啟動大規模重組發布於AI新閒資訊時間 :Nov 4, 2026閱讀 :1分鐘澳大利亞設計軟件公司Canva宣佈啟動大規模組織調整，1271名員工將面臨裁員、崗位變更或搬遷要求，佔公司員工總數的22%。CEO Melanie Perkins週三在致員工的內部信中表示，Canva近十年來首次出現增長放緩，現有組織架構已難以適應下一階段發展，需要通過重組提升效率。此次調整將產品、增長和平臺團隊合併為統一的“產品組織”，簡化管理層級、整合重疊職責，並組建規模更小、決策權限更大的團隊。同時，Canva計劃將更多產品團隊遷至悉尼總部，部分員工需搬遷。受影響的離職員工將獲得至少6個月工資、一年健康保險、求職支持及一年LinkedIn Premium會員資格，並可保留公司配發的MacBook。Perkins強調，此次調整並非單純裁員，而是為了應對技術變化和重新配置組織能力。她還指出，新技術正在改變用戶的創作方式及對軟件產品的期待，但未明確將AI列為此次重組的直接原因。Canva去年披露月活躍用戶達2.6億，營收35億美元，並稱已實現自由現金流盈利。值得注意的是，澳大利亞另一家科技公司Atlassian今年也宣佈裁員計劃，反映出科技企業正在重新調整組織結構與資源配置。相關推薦AI 沒搶走程序員飯碗？美初級碼農就業反降 20%，專家憂十年後斷檔CNBC報道，自2025年2月Anthropic的Claude Code問世後，美國軟件開發職位發佈量不降反增。Indeed Hiring Lab數據顯示，軟件崗招聘逆勢上漲近15%，整體就業市場卻縮水7%。麥肯錫北美區主席庫切並不意外：企業寫代碼總量創新高，AI時代開發者需求仍堅挺。但增長高度集中於資深與AI相關崗位，高級職位吃掉了主要增量。Oct 12, 2026293.2k谷歌在印測試 Ge
Claude 給自己發"身份證"：Anthropic 用零知識證明斬斷套殼灰產
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、Dagst
消息稱字節跳動大面積限制員工自費使用第三方AI工具
此次封禁的核心原因為防範數據洩露與資產安全風險，技術副總裁洪定坤在內網迴應時指出，L3及以上級別的核心內容一旦洩露後果極其嚴重，但同時也強調不應通過封禁其他選擇來強迫推廣內部產品。作為核心技術骨幹與管理者的分水嶺，L4級代碼庫沉澱了字節跳動全線業務的核心資產與底層架構，這也讓此次風控升級備受內部關注。
Anthropic產品團隊出現人事變動，Claude Code負責人離開
她近日在社交平臺X發文稱，週五是自己在Anthropic工作的最後一天，但未透露離職原因及下一步去向。Cat Wu曾負責Claude Code和Cowork兩款產品。加入Anthropic之前，她先後在Scale AI和Dagster擔任工程師，之後轉入風險投資機構Index Ventures工作。
國內首個三晉文化大模型“晉問AI”正式上線，數字人“晉豆”同步亮相
該項目由山西省委宣傳部指導、山西出版傳媒集團承建、山西春秋電子音像出版社具體實施，目前已被正式納入《山西省國民經濟和社會發展第十五個五年規劃綱要》。根植權威出版:構建“LLM+RAG+Agent”的技術護城河作為山西深厚歷史文化的數字化載體，“晉問AI”在技術架構上採用了先進的 LLM+RAG+Agent 方案。
搜索版圖被撕開一道口子：ChatGPT 搶下谷歌兩成流量
皮尤研究中心今年夏天的調查顯示，獲取信息已是美國成年人最普遍的 AI 用法——42% 的受訪者承認用 AI 搜過東西，在職人群裡更有 38% 拿它處理工作任務，娛樂、看新聞、問醫療建議則佔比小得多。而在所有聊天機器人中，ChatGPT 是那個"國民級"入口：44% 的美國成年人用過它，第二名 Gemini 僅 24%。