Ce que vous devez savoir avant
de commencer
Débute 4 July 2025 01:17
Se termine 4 July 2025
00
Jours
00
Heures
00
Minutes
00
Secondes
1 hour 5 minutes
Mise à niveau optionnelle disponible
Not Specified
Progressez à votre rythme
Free Video
Mise à niveau optionnelle disponible
Aperçu
Programme
- Introduction au raisonnement formel et aux modèles de langue de grande taille (LLMs)
- Preuve de théorème
- Autoformalisation
- IA pour les problèmes d'inégalité
- Formalisation de la géométrie euclidienne
- Intégration des LLMs dans le raisonnement formel
- Recherche et défis en IA pour les mathématiques
- Présentations de projets et retours
Aperçu du raisonnement formel en IA
Introduction aux modèles de langue de grande taille (LLMs)
Applications de l'IA en mathématiques et vérification
Notions de base de la logique formelle et de la preuve de théorème
Vue d'ensemble des systèmes de preuve de théorème automatisés
Exercices pratiques avec des démonstrateurs de théorèmes
Comprendre l'autoformalisation et ses défis
Techniques d'autoformalisation
Études de cas sur des formalisations réussies
Analyse des domaines de problèmes d'inégalité
Mise en œuvre de solutions IA pour les problèmes d'inégalité
Projet : Développement d'un système basé sur l'IA pour résoudre des problèmes d'inégalité
Introduction aux concepts de la géométrie euclidienne
Défis de la formalisation de la géométrie à l'aide de l'IA
Projet : Formaliser des théorèmes de géométrie euclidienne avec des systèmes IA
Rôle des LLMs dans l'amélioration des capacités de raisonnement formel
Techniques d'intégration des LLMs avec des démonstrateurs de théorèmes
Exemples de systèmes de raisonnement formel améliorés par les LLMs
Recherche actuelle en mathématiques pilotées par l'IA
Principaux défis et problèmes ouverts
Directions futures pour l'IA dans les mathématiques formelles et la vérification
Présentations finales de projets
Sessions de revue par les pairs et retours
Réflexions sur le cours et discussions de clôture
Sujets
Informatique