BTC $81,740.32 -0.09%
ETH $2,404.51 +0.08%
BNB $744.86 +1.61%
XRP $1.33 -0.05%
SOL $104.56 +0.73%
TRX $0.3297 -0.28%
DOGE $0.0798 +1.02%
ADA $0.2160 +0.46%
BCH $287.12 +4.65%
LINK $12.16 +1.10%
HYPE $78.59 +0.59%
AAVE $149.10 +0.73%
SUI $0.9967 +1.31%
XLM $0.1772 -0.33%
ZEC $1,229.78 -1.60%
AAPL $346.25 +0.39%
AMZN $251.15 -2.88%
GOOGL $325.94 -1.15%
MSFT $518.47 -1.90%
META $649.74 -5.94%
NVDA $215.12 -0.99%
TSLA $379.69 +3.26%
SNDK $1,310.38 -1.25%
INTC $88.15 -0.55%
SPCX $149.57 -3.88%
MU $883.75 -0.21%
AMD $520.62 -2.40%
BTC $81,740.32 -0.09%
ETH $2,404.51 +0.08%
BNB $744.86 +1.61%
XRP $1.33 -0.05%
SOL $104.56 +0.73%
TRX $0.3297 -0.28%
DOGE $0.0798 +1.02%
ADA $0.2160 +0.46%
BCH $287.12 +4.65%
LINK $12.16 +1.10%
HYPE $78.59 +0.59%
AAVE $149.10 +0.73%
SUI $0.9967 +1.31%
XLM $0.1772 -0.33%
ZEC $1,229.78 -1.60%
AAPL $346.25 +0.39%
AMZN $251.15 -2.88%
GOOGL $325.94 -1.15%
MSFT $518.47 -1.90%
META $649.74 -5.94%
NVDA $215.12 -0.99%
TSLA $379.69 +3.26%
SNDK $1,310.38 -1.25%
INTC $88.15 -0.55%
SPCX $149.57 -3.88%
MU $883.75 -0.21%
AMD $520.62 -2.40%

pi

全部
文章
快訊

first_img Anthropic: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 二進制,且證明檢查器不能判斷規格是否符合現實。

Anthropic 擬最快 11 月中旬上市,市場討論估值約 1.5 萬億美元

ChainCatcher 消息,人工智慧公司 Anthropic 計畫最快於 11 月中旬上市,市場討論給予約 1.5 萬億美元 IPO 估值,較今年 5 月 9650 億美元融資估值高出約 55%。按該潛在估值測算,Spark Capital 於 2023 年投資 7500 萬美元,持股價值可能約 109 億美元,當年估值約 50 億美元並獲董事會席位,為目前唯一已知擁有董事席位的風投。Sound Ventures 首筆投資 3500 萬美元後追加 4 億美元,由 Guy Oseary 與 Ashton Kutcher 共同創辦並於 2023 年入場,持股價值達數十億美元。Menlo Ventures 累計投入超過 10 億美元,持股價值約 218 億美元,含一筆 5 億美元 D 輪,2023 年 5 月首次入場。Iconiq 於 2025 年入場,累計投入超過 60 億美元,持股價值可能約 264 億美元,首次投資時估值已達 1830 億美元。紅杉資本今年開始投資,累計約 30 億美元,約持有 1% 股份,價值約 150 億美元,此前已投資 OpenAI 和 xAI。新加坡主權財富基金 GIC 於 2025 年首次投資,累計超過 45 億美元,約持有 1% 股份,價值約 150 億美元。Google 前 CEO Eric Schmidt 於 2021 年投入數千萬美元,約持有 1% 股份,價值約 150 億美元。FTX 於 2021 年投資 5 億美元,最初持股 13.56%,2024 年稀釋至 7.84%,破產清算後賣光股份,回收約 13 億美元,實際收益約 8 億美元。按未再稀釋的 7.84% 與 1.5 萬億美元估值測算,理論價值約 1176 億美元,比實際賣價高約 1163 億美元,測算未計入後續融資稀釋。2024 年 FTX 分批賣掉全部 Anthropic 股份,首批約 8.84 億美元交易涉及 24 家買家,阿布扎比主權財富基金 Mubadala 相關公司 ATIC 買入約 5 億美元,Jane Street 買入 1 億美元,富達旗下基金買入 4500 萬美元。Lightspeed 持股不足 2%,Google、亞馬遜、英偉達、微軟以及 Founders Fund、Coatue、Altimeter 等亦有投資,公開持倉數據不夠完整,無法逐家準確計算回報。

first_img Anthropic 開放 Claude Duet 研究預覽

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 應用分開,後台檢查計入計劃用量。

Anthropic 執行長 發長文回應安全質疑,稱須保持技術最前沿

ChainCatcher 消息,Anthropic 最近向美國國會議員提交一份 AI 安全法案草案,遭美國 AI 安全派質疑。草案對政府緊急叫停危險模型設置較高門檻,風險須涉及生物武器、網絡攻擊或 AI 失控等情形,並可能造成超過 50 人死亡或重傷,或超過 10 億美元損失;部分條款還可能限制州政府監管權限。AI 安全組織 Encode AI 戰略負責人 Nathan Calvin 隨後梳理 Anthropic 過去一年的決定。今年 2 月,公司修改原本嚴格的安全政策:過去承諾若安全措施跟不上模型能力就暫停訓練或發布,新政策不再要求公司在更高風險階段獨自停止研發,理由是競爭對手可能趁機超車。同期公司投入巨額算力、組建晶片團隊,並讓 Claude 承擔更多 AI 研發任務。10 月 21 日,Anthropic CEO Dario Amodei 在 X 上發長文反駁。他承認公司犯過一些錯誤,但堅持爭奪最先進 AI 能力並未違背安全使命,並稱公司奉行向上競賽,只有保持在技術最前沿,才有能力推動行業提高安全標準。他列舉九項曾讓公司付出商業代價的安全決定,包括將 Mythos 級模型限制開放數月,以及嚴格限制生物學相關請求。公司 10 月 19 日更新的安全路線圖稱,現有政策主要針對危險模型部署,未來可能需要直接限制研發速度,並計劃在 2027 年 1 月 15 日前提出相關政策方案,或解釋為何沒有提出。
app_icon
ChainCatcher 與創新者共建Web3世界