Axiom Math Vérifie Les Bases Des Mathématiques
Et si l’IA produisait des maths pourries ? Une startup de 1,6 milliard vient de formaliser 7 654 pages pour créer une base indestructible. Ce qui se passe ensuite va changer le code et la science… 🔥 #IA #Maths #Startups