The feedback loop of mathematics research

In the wake of OpenAI's announcement of their solution to the Navier-Stokes problem, and the many other announcements of AI-discovered research breakthrough we've been seeing on a weekly — sometimes d