Ce que vous devez savoir avant
Vous commencez

Débute 4 June 2026 11:52

Se termine 4 June 2026

00 Jours
00 Heures
00 Minutes
00 Secondes
course image

Comment l'apprentissage automatique peut-il aider les mathématiciens ?

Explorez comment les modèles d'IA peuvent aider les mathématiciens à résoudre des problèmes ouverts et à faire progresser la démonstration automatisée de théorèmes grâce aux techniques d'apprentissage automatique.
Institut Henri Poincaré via YouTube

Institut Henri Poincaré

6076 Cours


1 hour 12 minutes

Amélioration optionnelle disponible

Not Specified

Progressez à votre rythme

Free Video

Amélioration optionnelle disponible

Aperçu

Explore how AI models can assist mathematicians in solving open problems and advancing automated theorem proving through machine learning techniques.


Matières

Computer Science