Je suis ravi de partager que je lance une nouvelle entreprise dédiée à la création d'une superintelligence vérifiée via l'autoformatisation. S'appuyant sur l'incroyable infrastructure RL que nous avons développée chez @morph_labs, @mathematics_inc a déjà réalisé un résultat révolutionnaire en complétant la formalisation du théorème des nombres premiers forts avec son nouvel agent d'autoformatisation, Gauss.