Épisode 4: Stanislas Polu, prouver des théorèmes avec de l'IA
Update: 2023-04-19
Description
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 !
0:00 Intro
12:47 Découverte du papier "Evolution Strategies" et rencontre avec l'IA
18:49 Transformers pour les maths
41:49 Grokking
45:20 Remplacer le self-play par du curriculum learning pour apprendre les maths a l'IA
54:30 IA et open-source
01:01:03 Dust et l'assistant dans l'entreprise
Comments
Top Podcasts
The Best New Comedy Podcast Right Now – June 2024The Best News Podcast Right Now – June 2024The Best New Business Podcast Right Now – June 2024The Best New Sports Podcast Right Now – June 2024The Best New True Crime Podcast Right Now – June 2024The Best New Joe Rogan Experience Podcast Right Now – June 20The Best New Dan Bongino Show Podcast Right Now – June 20The Best New Mark Levin Podcast – June 2024
In Channel