Ce que vous devez savoir avant
Vous commencez

Débute 4 June 2026 11:10

Se termine 4 June 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)

6076 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