Automating maths

2 PM, 13 Jan 2025

Dr Alex Davies of Google DeepMind leads an interactive discussion about AI-assisted mathematical discovery and automated theorem proving.

Dr Alex Davies leads Google DeepMind’s initiative for AI and mathematics. In a discussion with our scientists and staff, he gives his take on AlphaGeometry, which solves hard but known problems, and the possibilities for AI-assisted discovery of new conjectures. He also considers the scope and limits of automated theorem proving, and how the human mind makes shortcuts that machines must spell out pedantically.

Automating maths
Automating maths
Automating maths
Automating maths
Automating maths
Automating maths
Automating maths
Automating maths
Automating maths
Automating maths
Automating maths
Automating maths
Automating maths
Automating maths
Automating maths
Automating maths