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