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