Bienvenue @mathematics_inc - une nouvelle entreprise dédiée à l'autoformatisation et à la création d'une superintelligence vérifiée incubée chez Morph au cours des derniers mois. Unique grâce à l'infrastructure de calcul native Infinibranch de Morph, le premier produit de Math, Inc. est Gauss, un agent d'autoformatisation qui atteint une mise à l'échelle de calcul sans précédent en temps de test pour ce domaine, avec des milliers d'agents concurrents travaillant chacun jusqu'à 12 heures à la fois pour créer une formalisation de 25 000 LOC du Théorème des Nombres Premiers Forts. Cela compresse ce qui prenait auparavant des années aux experts en quelques semaines. C'est un aperçu de l'avenir du travail de connaissance --- autonome, à l'échelle planétaire, conçu pour autonomiser les humains et leurs réalisations glorieuses --- qui sera construit sur Morph Cloud.