Ben Walker uses AI. His research field is AI. What's his take on its mathematical talents? Bulletin category Teaching and Learning Weight 3