Dans cet exposé nous aborderons deux sujets: la théorie de la stabilisation et l’IA pour les mathématiques. La stabilisation est une branche de la théorie du contrôle qui consiste à se demander: « si je peux agir sur un système, que puis-je lui faire faire ? » Cette théorie a la particularité de mêler des aspects très théoriques et très divers ainsi que des aspects très appliqués.
Nous parlerons ensuite d’IA pour les mathématiques et nous nous demanderons s’il est possible d’apprendre des mathématiques à une IA. En particulier, est-ce qu’une IA peut apprendre à avoir une intuition mathématique encore meilleure que les humains ? Et est-ce qu’une IA peut être entrainée à prouver des théorèmes par elle-même ?
- ANNÉE 2023-2024