Anthropic 要上市了，代號 ANT｜AI 寫六百萬行證明驗 Signal、Amazon 換小模型省 98%｜AI 日報 11/11

📝 文章目錄

• Anthropic 正式啟動上市路演，股票代號 ANT
• Google 的 AI 驗證技術突破
• Amazon 工程師的創新省錢策略
• 小結與未來展望

Anthropic 正式啟動上市路演，股票代號 ANT

Anthropic 近期宣布啟動首次公開發行（IPO）的路演，並準備在那斯達克掛牌，股票代號為 ANT。這次公開發行的股數達八億兩千五百萬股，股價區間設定在七十到七十八美元之間。此外，Google 和 NVIDIA 也計劃參與私募，預計各認購約一百億美元。

值得注意的是，Anthropic 在今年前九個月的營收達到三百三十二億美元，年增率超過百分之一千兩百。然而，公司也明確表示未來不預期能維持這樣的成長速度。文件中提到的兩個重要細節是：第一，Anthropic 已達到「責任擴展政策」中 AI 研發能力的門檻；第二，與算力商 Lambda 的合約因未能在期限內租到機房，雙方目前可解約，但尚未提出。

Gary Marcus 對此表示，Anthropic 的成長正放緩，且治理結構對散戶不利。

Google 的 AI 驗證技術突破

Google 利用其最強大的模型 Gemini 4 Carbon，成功在四週內寫出六百萬行證明，以驗證通訊軟體 Signal 的加密程式。這種形式化驗證的方法，不僅是測試，更是用數學證明程式符合安全要求。過去多半只驗證協定設計，而這次直接驗證到裝置上實際執行的編譯後程式碼。

在此過程中，人類專家和 Google 自家模型合作，將安全目標寫成數學規格，然後由 AI 代理去證明，最後只有約百分之一需要人類再次確認。為了驗證系統的可靠性，團隊還將兩個修好的漏洞放回去，系統均能正確指出不安全版本。

Amazon 工程師的創新省錢策略

Amazon 的兩位工程師將內部工單的分類工作從大型模型 Claude Sonnet 4.6 換成一個只會做選擇題的小模型，成功將成本降低了百分之九十八。這個新模型名為 Strands Decider，不再寫文字，而是替每個選項計算機率和信心分數。

每一百萬張工單的處理成本因此從大約兩萬兩千美元降至五百美元左右，回應時間也從四秒多縮短至不到一秒。這樣的創新不僅提高了效率，還大大減少了運營成本。

• 新模型 Strands Decider 準確度不輸給原本的 Sonnet。
• 每百萬張工單的成本從 22,000 美元降至 500 美元。
• 回應時間從 4 秒多縮短至不到 1 秒。

這樣的策略不僅展示了 AI 模型優化的潛力，也為其他企業提供了可借鑑的成功案例。

小結與未來展望

這些新聞顯示了 AI 在現代商業和技術領域的快速發展與潛力。從 Anthropic 的上市計劃到 Google 的創新驗證技術，再到 Amazon 的成本控制，這些案例都表明了 AI 如何在提升效率、降低成本和強化安全性方面發揮著關鍵作用。

作為一名專注於 AI 和網路行銷的從業者，我看到這些技術的進步不僅僅是技術上的突破，也是商業模式創新的基石。未來，我們將持續關注這些領域的動態，並期待更多的科技創新能夠帶來更大的社會價值。

📺 來源影片參考