Participer à un podcast dont je suis un grand fan, c'est un peu surréaliste. Je suis reconnaissant à @SamCharrington et @TWIML de m'avoir donné l'occasion d'expliquer pourquoi ce moment dans l'IA et les mathématiques est si particulier – non seulement parce que les modèles sont plus intelligents, mais aussi parce que trois mondes convergent enfin : le raisonnement LLM, le Lean et la génération de code. Chez @axiommathai, nous constituons une équipe d'experts mondiaux dans ces trois piliers.
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.