The Guardian view on AI v mathematicians: humans are still vital to the field, but tech firms refuse to see that | Editorial
TL;DR
OpenAI claims its agents have solved the Navier-Stokes problem. But questions remain about how useful and independent its work really is On 8 September, OpenAI claimed that its AI agents had solved the Navier-Stokes problem, one of the most famous and difficult challenges in mathematics. Had a human solved it, they would have collected both prize money and plaudits from their fellows.
Nauti's Take
AI agents contributing to a landmark maths problem points at real potential for proof checking and literature work. The risk sits in attribution, because the model digests decades of human mathematics and the paper's citations have failed to convince the field.
Researchers gain speed here, and every derivation still deserves an independent check.
Sources