IA et mathématiques : un choc des cultures et un appel à la collaboration
La réunion conjointe de mathématiques de 2025 a mis en évidence l’intersection croissante entre l’IA et les mathématiques, révélant un fossé culturel entre les mathématiciens universitaires et les chercheurs en IA de l’industrie. Les mathématiciens privilégient la compréhension, tandis que les chercheurs en IA se concentrent souvent sur les résultats. Cette différence se manifeste dans des approches contrastées de l’ouverture, de la transparence et de la nature même de la preuve. L’article explore l’essence des mathématiques, sa culture et ses valeurs, et examine les applications potentielles de l’IA dans la gestion de la littérature, la vérification des théorèmes et d’autres domaines. L’auteur soutient que l’IA devrait améliorer les capacités mathématiques humaines, et non remplacer les mathématiciens humains, en soulignant la nécessité du respect mutuel et de la collaboration pour faire progresser le domaine.