DiscoverLa voix du gradientÉpisode 4: Stanislas Polu, prouver des théorèmes avec de l'IA
Épisode 4: Stanislas Polu, prouver des théorèmes avec de l'IA

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

Update: 2023-04-19
Share

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 
loading
00:00
00:00
1.0x

0.5x

0.8x

1.0x

1.25x

1.5x

2.0x

3.0x

Sleep Timer

Off

End of Episode

5 Minutes

10 Minutes

15 Minutes

30 Minutes

45 Minutes

60 Minutes

120 Minutes

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

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

Monades