Présentation de l'équipe de découverte d'Axiom, dirigée par @f_charton : Nous élaborons des modèles qui permettront de créer des constructions inédites, de transformer les problèmes en solutions et en intuitions, et d'apprendre la structure de mondes mathématiques entiers. Conçu pour s'attaquer aux problèmes ouverts difficiles, un à la fois.
@f_charton axiommath.ai/blog/ Lisez notre dernier article sur la découverte.