Artificial intelligence has solved a major mathematics problem, but credit for the accomplishment is murky.

what'sgoingopenainavier-stokescontroversy?artificial