歡迎 @mathematics_inc - 一家致力於自動形式化和創建經過驗證的超級智能的新公司，過去幾個月在 Morph 孵化。得益於 Morph 的 Infinibranch 原生環境計算基礎設施，Math, Inc. 的第一個產品是 Gauss，一個自動形式化代理，能夠在這一領域實現前所未有的測試時計算擴展，數千個併發代理每個工作長達 12 小時，創建強素數定理的 25,000 行代碼形式化。這將專家們通常需要多年的工作壓縮到幾周內。這是知識工作的未來的一個瞥見——自主的、行星規模的，旨在賦能人類及其輝煌成就——這將建立在 Morph Cloud 上。

我們很高興歡迎 @jdlichtman 加入 Morph 擔任我們的首席數學家，他將縮短驗證超級智慧的道路。

我們很高興地宣佈推出 Trinity，這是我們在 @morph_labs 開發的用於驗證超級智慧的自動形式化系統。我們用它來在 Lean 中自動形式化 de Bruijn 的一個經典結果，即 abc 猜想幾乎總是正確的。