Terence Tao: Machine Assistance and the Future of Research Mathematics [video] (youtube.com)

Just a difference perspective on this. "Mathematician Joel David says current AI models are basically zero help for mathematics" see: https://x.com/slow_developer/status/2006909560007827686