我很高興地分享，我正在創辦一家公司，致力於通過自動形式化創建經過驗證的超級智能。基於我們在@morph_labs開發的驚人RL基礎設施，@mathematics_inc已經通過其新的自動形式化代理高斯完成了強素數定理的形式化，取得了突破性成果。