According to computer scientist Scott Aaronson, specialized AI models have since addressed several other long-standing open problems, but companies are now "sitting on" these results while they navigate the backlash over how AI-driven research is credited and shared.
The controversy highlights a growing tension in the academic community as AI shifts from a coding assistant to a primary theorem-prover.
While the Navier-Stokes proof cost an estimated $15 million in capital expenditure—the spending on physical and technical infrastructure like AI chips and data centers—it was met with claims of being "unsportsmanlike" due to disputes over the role of human precursors.
Critics argue that such rapid, machine-led discoveries threaten the traditional human-led mathematical enterprise, where human insight and peer understanding have historically been the central mechanisms of progress.
This technological shift is already transforming academic infrastructure, with most new research papers in specific fields now requiring "AI statements" to clarify the level of machine involvement.
The impact extends to professional evaluation; academic reviewers are increasingly using AI tools to handle a surge of machine-assisted submissions, a move described as a necessary defense against an overwhelming volume of new work.
As AI labs weigh how to release further breakthroughs, the mathematical community is debating new standards for authorship and whether human roles will eventually be reduced to verifying and explaining proofs generated by autonomous agents.