Home
Categories
EXPLORE
True Crime
Comedy
Society & Culture
Business
Sports
History
TV & Film
About Us
Contact Us
Copyright
© 2024 PodJoint
00:00 / 00:00
Sign in

or

Don't have an account?
Sign up
Forgot password
https://is1-ssl.mzstatic.com/image/thumb/Podcasts112/v4/6d/ec/8d/6dec8da1-709e-0774-5ddd-19964a85d2bb/mza_6908396254862294628.jpg/600x600bb.jpg
La voix du gradient
Monades
5 episodes
1 month ago
La voix du gradient est un podcast autour des nouvelles technologies avec un accent sur l'intelligence artificielle. Nous interviewons des jeunes chercheurs et ingénieurs du domaine, qui nous parlent des dernières avancées et de leurs découvertes, et des progrès dans les sciences et technologies.
Show more...
Technology
RSS
All content for La voix du gradient is the property of Monades and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.
La voix du gradient est un podcast autour des nouvelles technologies avec un accent sur l'intelligence artificielle. Nous interviewons des jeunes chercheurs et ingénieurs du domaine, qui nous parlent des dernières avancées et de leurs découvertes, et des progrès dans les sciences et technologies.
Show more...
Technology
https://d3t3ozftmdmh3i.cloudfront.net/production/podcast_uploaded_nologo/24171183/24171183-1654532940020-096e1365709c3.jpg
Épisode 4: Stanislas Polu, prouver des théorèmes avec de l'IA
La voix du gradient
1 hour 16 minutes 55 seconds
2 years ago
É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 !


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

La voix du gradient
La voix du gradient est un podcast autour des nouvelles technologies avec un accent sur l'intelligence artificielle. Nous interviewons des jeunes chercheurs et ingénieurs du domaine, qui nous parlent des dernières avancées et de leurs découvertes, et des progrès dans les sciences et technologies.