Will AIs soon surpass their masters? The beginning of an answer can be found in this article in Le Monde Sciences on the rise of AI in mathematics, in which Vincent Jugé, a lecturer at the Gaspard-Monge Computer Science Laboratory at Gustave Eiffel University and seconded to the IRIF, is quoted.