Les mathématiques, dopées à l'IA
- Dans le périodique : Pour la science. Hors-série, n°130 (02/2026) p.102-105
- Conor Purcell
Le point sur l'utilisation de l'intelligence artificielle (IA) dans le domaine de la résolution de problèmes mathématiques. L'aide apportée par les copilotes pour la rédaction de preuves ; le cas du copilote du Caltech ; les effets de l'utilisat[...]