This guest post by Terence Tao discusses the recent developments in AI regarding the forced Navier-Stokes equation, highlighting the implications for research in mathematics, science, and engineering. It focuses on building trust in AI-provided proofs and addresses the importance of understanding AI in these scientific fields.