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
course image

Le raisonnement formel rencontre les LLM : vers une IA pour les mathématiques et la vérification

Simons Institute via YouTube

Simons Institute

2765 Cours


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)
  • 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
  • Preuve de théorème
  • 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
  • Autoformalisation
  • Comprendre l'autoformalisation et ses défis
    Techniques d'autoformalisation
    Études de cas sur des formalisations réussies
  • IA pour les problèmes d'inégalité
  • 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é
  • Formalisation de la géométrie euclidienne
  • 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
  • Intégration des LLMs dans le raisonnement formel
  • 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 et défis en IA pour les mathématiques
  • 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 de projets et retours
  • 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