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

私たちは、@jdlichtmanをチーフ数学者としてMorphに迎え、検証された超知能への道を短縮できることを嬉しく思います。

私たちは、@morph_labsで開発した検証済みの超知能のためのオートフォーマル化システムであるTrinityを発表できることを嬉しく思います。これを使用して、abc予想がほとんど常に真であるというde Bruijnの古典的な結果をLeanで自動的に形式化しました。