Ce que vous devez savoir avant
Vous commencez

Débute 7 July 2026 21:07

Se termine 7 July 2026

00 Jours
00 Heures
00 Minutes
00 Secondes
course image

Assistance de la machine et l'avenir des mathématiques de recherche

Explorez comment l'IA et l'apprentissage automatique transforment la recherche mathématique grâce aux assistants de preuve formelle, aux modèles linguistiques et aux plateformes collaboratives avec le mathématicien renommé Terry Tao.
Institute for Pure & Applied Mathematics (IPAM) via YouTube

Institute for Pure & Applied Mathematics (IPAM)

6082 Cours


29 minutes

Amélioration optionnelle disponible

Not Specified

Progressez à votre rythme

Free Video

Amélioration optionnelle disponible

Aperçu

Explore how AI and machine learning are transforming mathematical research through formal proof assistants, language models, and collaborative platforms with renowned mathematician Terry Tao.


Matières

Artificial Intelligence