Terence Tao at IMO 2024: AI and Mathematics