Épisode 4 - Stanislas Polu, prouver des théorèmes avec de l'IA

Stan Polu nous parle de son expérience chez Stripe et comment l’organisation de l’entreprise implémente un algorithme de flocking, de sa recherche chez OpenAI sur la preuve de théorèmes avec de l’IA, et de sa startup nouvellement créé Dust pour rendre facilement accessible le pouvoir des modèles de langue !
Pour l’écouter → Apple Podcasts, Spotify