熱點事件持續更新
&Truth 獲 $70M 種子輪融資，擬建通用驗證機
1 篇報道1 個報道來源2 小時前更新
先了解這件事
AI 綜述
2026年10月30日，軟件形式化驗證公司 &Truth 公佈獲得 $70M 種子輪融資，並計劃建造可讀取任何程式語言程式碼的通用驗證機。公司稱，該技術以 Lean、Mathlib 等開源工具為基礎，目標是透過可獨立檢查的數學證明驗證程式碼。&Truth 表示，AI 可令形式化證明工作加速 100x 或以上，其自動化技術再加速 100x，將證明生成時間由數年或數月縮短至數小時或數分鐘。
AI 根據報道生成 · 2 小時前更新
最新進展10月30日 14:52
&Truth 公佈獲 $70M 種子輪融資，並計劃建造通用程式碼驗證機。報道時間線
沿着報道，瞭解事件的不同側面。
10月30日
- Unite.AI&Truth 獲 $70M 種子輪融資，計劃打造通用程式碼驗證機
軟件形式化驗證公司 &Truth 公佈獲得 $70M 種子輪融資，並計劃建造可讀取任何程式語言程式碼的通用驗證機。公司稱，該技術以 Lean、Mathlib 等開源工具為基礎，目標是透過可獨立檢查的數學證明驗證程式碼。公司表示，AI 可令形式化證明工作加速 100x 或以上，其自動化技術再加速 100x，將證明生成時間由數年或數月縮短至數小時或數分鐘。
本事件熱度走勢
還沒有足夠的連續觀測數據，暫不繪製趨勢。