[1] Bastani, H., et collab. 2025
Generative AI without guardrails can harm learning: Evidence from high school mathematics

[2] Bastani, H., et collab. 2025
Corrections for Generative AI without guardrails can harm learning: Evidence from high school mathematics

[3] Davis, A.., et collab. 2021
Advancing mathematics by guiding human intuition with AI

[4] Etingof, P. et S. Gerovitch. 2026
Mathematics of the future

[5] Ferry, L. 2025,
IA : grand remplacement ou complémentarité?

[6] Jumper, J., R. Evans, A. Pritzel et collab. 2021
Highly accurate protein structure prediction with AlphaFold

[7] Kestin, G., K. Miller, A. Klales, T. Milbourne et G. Ponti. 2025,
AI tutoring outperforms in-class active learning : an RCT introducing a novel research-based design in an authentic educational setting

[8] Latour, A. 2024
Estimation des autocovariances et des autocorrélations échantillonnales de modèles saisonniers

[9] Latour, A. 2024
Problèmes d’estimation dans un processus de ramification

[10] Messeri, L. et M. J. Crockett. 2024
Artificial intelligence and illusions of understanding in scientific research

[11] MIT Department of Mathematics
AI – Math Transformation

[12] Romera-Paredes, B. et collab. 2024
Mathematical discoveries from program search with large language models

[13] Tao, T. 2026,
Mathematics in the age of AI

[14] Trinh, T. H., Y. et collab. 2024
Solving olympiad geometry without human demonstrations

[15] Udrescu, S.-M. et M. Tegmark. 2020
AI Feynman : A physics-inspired method for symbolic regression

[16] Wang, H., T. Fu, Y. Du et collab. 2023
Scientific discovery in the age of artificial intelligence

[17] Weizenbaum, J. 1966
ELIZA—a computer program for the study of natural language communication between man and machine

[18] Xin, H. et collab. 2025
DeepSeek-Prover-V1.5 : Harnessing proof assistant feedback for reinforcement learning and Monte-Carlo tree search

[19] Xin, H. et collab. 2024
DeepSeek-Prover-V1.5 : Harnessing proof assistant feedback for reinforcement learning and Monte-Carlo tree search

Les requêtes faites à des serveurs externes sont anonymes. Aucune information personnelle n'est partagée.
Requests to external servers are anonymous. No personal information is shared.

Alain Latour

Alain Latour