ようこそ@mathematics_inc - 過去数か月間にMorphでインキュベートされた自動正規化と検証済みの超知能の創造に専念する新しい会社です。MorphのInfinibranchネイティブ環境コンピューティングインフラによって独自に実現されたMath, Inc.の最初の製品は、このドメインで前例のないテスト時のコンピューティングスケーリングを実現する自動形式化エージェントであるGaussであり、数千の同時エージェントがそれぞれ一度に最大12時間動作して、強素数定理の25,000 LOC形式化を作成します。これにより、専門家が数年かかっていたことが数週間に圧縮されます。これは、人間に力を与えるために設計された自律的で惑星規模---知識ワークの未来と、Morph Cloud 上に構築される彼らの輝かしい成果---垣間見ることができます。