Axiom se donne pour objectif de construire un mathématicien IA. Nous sommes les outsiders. 4 mois d'existence, 2 ans de retard sur le marché, moins de 10 ETP (récemment passés à 17), et un financement et une valorisation 1:5 par rapport à notre concurrent. Aujourd'hui, AxiomProver a résolu les problèmes Erdos n° 124 et n° 481 en Lean, un langage 100 % vérifiable. En avant !
Chargement du thread
Récupération des tweets originaux depuis X pour offrir une lecture épurée.
Cela ne prend généralement que quelques secondes.