The next generation of mathematicians : in training. | Amaury Hayat | TEDxEcoleDesPonts
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
1 view
235
74
10 years ago 00:04:13 102
The Next Shaun White?
1 year ago 00:18:23 8
Hiding Next To The Breach
4 years ago 00:02:46 46
JUMANJI: THE NEXT LEVEL - ASMR Trailer
4 years ago 00:04:11 65
The next DRAGON AGE™: Behind the scenes at BioWare
8 years ago 00:02:42 1.4K
Atlas, The Next Generation
6 years ago 00:11:42 583
Finding The NEXT LEVEL Outplay
5 years ago 00:02:58 132
JUMANJI: THE NEXT LEVEL - Official Trailer (HD)
5 years ago 00:02:51 613
JUMANJI: THE NEXT LEVEL - Final Trailer (HD)
8 years ago 00:03:23 2.3K
FUTURE & ROBOTS (Atlas, The Next Generation & Deus Ex)
8 years ago 00:13:17 408
THE NEXT CHAPTER
4 years ago 00:46:56 25
The Next Black - A film about the Future of Clothing
2 years ago 00:08:07 3
The Next Beaulo
10 years ago 00:08:28 86
Inspiring the Next Generation - Pat Moore: Blueprint - Ep 3
4 years ago 00:02:49 309
Jumanji: The Next Level and Dreams - Gameplay | PS4
4 years ago 00:08:37 492
The next outbreak? We’re not ready | Bill Gates
11 years ago 00:05:57 44
The Next Biohazard
4 years ago 00:12:31 63
The Ascent - 12 Minutes of Next-Gen Gameplay - IGN First
10 years ago 00:59:00 2K
The Retry vs NEXT, Starladder, EPIC GAME
1 year ago 00:10:19 20
The Witcher 3’s Next Gen Upgrade Looks Incredible
3 years ago 00:04:07 18
The Next Chapter: Intel Arc High Performance Graphics| Intel Gaming