Les « mathématiques 2.0 » de Terence Tao : quand l’IA donne les réponses mais emporte la compréhension
Lors d’une conférence récente, le mathématicien Terence Tao a déclaré que, grâce à l’IA, les démonstrations abondent, mais que la compréhension humaine, elle, recule. Il plaide donc pour dépasser les mathématiques 1.0, où l’IA résout les problèmes à notre place, et passer aux mathématiques 2.0, où l’IA nous aide à approfondir notre compréhension.
