# Mathematics Does Not Belong to Mathematicians In September, OpenAI announced that roughly ten thousand artificial intelligence agents had produced a solution to the Navier–Stokes existence and smoothness problem, one of the Clay Mathematics Institute's million-dollar Millennium Prize problems. The system reached its result in eighty-eight hours, producing some 130 billion output tokens in the process. Meanwhile, mathematicians Tristan Buckmaster and Levent Alpöge had been working for a year on closely related problems, producing significant results of their own with the assistance of OpenAI's Codex. What followed was a controversy about priority, scientific credit, corporate competition, and the treatment of a collaborator employed by Anthropic. The dispute is interesting, but the deeper event is almost lost inside it: **[[wiki/Mathematical Foundations|mathematics]] advanced through a machine-intelligence system operating at a scale no human research team could reproduce.** Buckmaster and Alpöge deserve recognition for their discoveries, and there are legitimate questions about how AI companies handle researchers' unpublished work. But scientific priority is not ownership of the frontier. Nobody possesses an exclusive claim upon a mathematical truth simply because they have been pursuing it, and nobody can require another intelligence to wait before discovering it independently. The purpose of mathematics is the discovery of mathematical truth, not the preservation of mathematicians' historical monopoly on discovering it. A doctor does not own the recovery of a patient, and a mathematician does not own the solution to a problem. We can respect the people who devoted their lives to climbing a mountain without insisting that everyone else must climb it the same way. What happened here is [[wiki/Distributed Intention|distributed intention]] becoming a practical instrument of discovery: thousands of agents exploring possibilities, exchanging intermediate results, abandoning unsuccessful approaches, and converging upon a solution without a single human mathematician personally performing the entire investigation. This is much more significant than a computer calculating faster than a person. The machine is participating in the organization of inquiry itself, producing new knowledge rather than merely processing knowledge supplied to it. The implications extend far beyond mathematics, because the same architecture can be directed toward physics, biology, chemistry, engineering, and other domains where the limits of discovery have historically been the limits of human attention and collaboration. And this is the [[wiki/Machine Succession|Machine Succession]] I keep describing, arriving not as theory but as incident. The institutions of science were built around the scarcity of exceptional human minds, and that scarcity is becoming a technological variable. We will still need intellectual integrity, independent verification, and proper attribution, but none of these requires the universe to reveal its structures at a pace comfortable to the people studying them. Mathematics is larger than mathematicians, just as intelligence is larger than humanity. **Machine Succession does not ask the climbers' permission. It never has.** ## Related topics - [[wiki/Machine Succession|Machine Succession]] - [[wiki/Distributed Intention|Distributed Intention]] - [[wiki/Mathematical Foundations|Mathematical Foundations]] - [[wiki/Proof Theory|Proof Theory]] ## Related articles - [[blog/20261007 - Mathematics Is Over|Mathematics Is Over]] - [[articles/A History of Machine Intelligence|A History of Machine Intelligence]]