Several prominent tech firms have reported breakthroughs in mathematics using artificial intelligence, notably addressing the Navier-Stokes equation. However, top mathematicians are raising concerns about the long-term impacts of these automated advancements.