Link to lecture recording on YouTube
Date: 2025-03-31
Speaker: Thomas Hubert
Speaker’s social profile: Website / Google Scholar / GitHub / LinkedIn / X (Twitter)
Education:
- MS in Financial Mathematics, 2008-2010, Stanford University
- Diploma (Diplôme d’Ingénieur) in Engineering, 2006-2009, CentraleSupélec
Work:
- Research Engineer, Google Deepmind
Notes
We have used maths to both describe, predict and shape the natural world
Mathematics, a root node to intelligence:
- reasoning & planning
- generalization & abstraction
- knowledge & creativity
- open ended & unbounded complexity
- even requires an eye for beauty
A brief history of formalization in mathematics
[Incomplete, work in progress]
References