欢迎 @mathematics_inc - 一家致力于自动形式化和创建经过验证的超级智能的新公司，过去几个月在 Morph 孵化。得益于 Morph 的 Infinibranch 原生环境计算基础设施，Math, Inc. 的第一个产品是 Gauss，一个自动形式化代理，能够在这一领域实现前所未有的测试时计算扩展，数千个并发代理每个工作长达 12 小时，创建强素数定理的 25,000 行代码形式化。这将专家们通常需要多年的工作压缩到几周内。这是知识工作的未来的一个瞥见——自主的、行星规模的，旨在赋能人类及其辉煌成就——这将建立在 Morph Cloud 上。