Y12 Maths Trip, Can AI prove theorems? A lecture by Prof Kevin Buzzard from Imperial College 10 March 2025 @ 2:50 pm - 6:00 pm