Guest
We always thought human mathematicians couldn’t be replaced. What if we had been wrong ? In this riveting TEDx Talk, this math teacher takes us on a journey to understanding the incredible progress made by artificial intelligence programs in solving math problems and demonstrating theorems. With degrees from prestigious universities such as Ecole Polytechnique or Cambridge, several prizes and even a nomination in the Forbes 30 under 30 list, Amaury Hayat is without a doubt one of the brightest mathematicians of his generation. Since 2020, this passionate researcher from the CERMICS lab has been a part of Meta’s “Evariste”, a team with the mission of designing a neural network that learns to prove mathematical statements and outputs a proof. This neural network is now able to show high-school exercises autonomously and is the current state of the art in automated proving. Between 2020 and 2022 he was in the leadership team of the CIRCLES project, which ran a large scale experiment with 100 automated cars acting on the traffic to reduce the jams. This was the world’s largest collaborative self-driving car experiment on a freeway. Since 2023 he is a full professor at Ecole des Ponts Paristech. This talk was given at a TEDx event using the TED conference format but independently organized by a local community. Learn more at
