Renowned mathematician Terry Tao has emerged as a key proponent for integrating artificial intelligence into mathematical research, signaling a significant methodological shift within the discipline. Tao, celebrated for his openness to unconventional ideas and profound contributions, began influencing the discourse around AI's role in advanced mathematics years prior. His journey towards advocating for computational assistance is detailed in an adaptation from Kevin Hartnett's book, "The Proof in the Code." For instance, in November 2014, Tao participated in a distinguished panel of inaugural Breakthrough Prize in Mathematics recipients, an event that underscored his influential position to champion innovative approaches1. This evolution in perspective positions AI not merely as a high-speed computational utility but as a potential partner in groundbreaking discovery and complex proof generation. This embrace by a figure of Tao's stature suggests a future where artificial intelligence could fundamentally reshape the landscape of mathematical exploration, driving novel insights and accelerating the resolution of long-standing problems.