Alexander Gamburd
7 min
For three centuries, the Enlightenment project in mathematics was defined by a zero-distance between a certified theorem and a human-understandable demonstration. This was the existence proof of autonomous reason: any result could be verified by anyone with sufficient patience. The announcement on 8 September 2026, of a proof for the three-dimensional Navier-Stokes equations—produced by ten thousand agents and certified by 616,000 lines of Lean code—shatters this premise. The proof is a 166-page artifact that, by all accounts, no human has read in full. It represents a shift from mathematics as a public, shared reason to a revealed truth, where the authority of the proof-checker replaces the necessity of human understanding.
Drawing on Erwin Panofsky’s historical framework, the paper characterizes this transition as a Middle Ages in reverse. In the original Middle Ages, knowledge descended from an authority above the human, mediated by a clergy in a language the laity could not read. In this new regime, knowledge descends from an authority outside the human—a subhuman superintelligence—mediated by a new technical clergy, in a language (Lean) that the laity cannot read. The danger is not that the machine is wrong, but that it is right in a way that is fundamentally unreadable. By accepting such proofs, the mathematical community risks adopting a constitution where truth is no longer the ground of knowledge, but rather a command issued by the certifier.
Despite this, the paper argues that the situation is not yet a total loss. The crucial lever remains the community's power of acceptance. A theorem that is cited, rewarded, and built upon, but understood by no one, is a hollow Leviathan. The author proposes a covenant: the mathematical community should withhold its cooperation from producers that do not observe practices of legibility, disclosure, and responsibility, while rewarding those that do. By playing rival empires against one another—much like Indigenous nations navigated colonial powers—the community can maintain its sovereignty. The goal is to ensure that nothing is counted as mathematics until a human being has understood it and can show another why it is true.
On 8 September 2026 OpenAI announced a proof of finite-time blowup for the three-dimensional Navier-Stokes equations with smooth data and forcing: 166 pages produced in 88 hours by ten thousand agents, certified by 616,000 lines of Lean, and read in full, at the moment of this writing (20 September 2026), by no human being. This essay asks what such an artifact -- text, certificate and announcement -- is, and what follows from accepting it as a proof. Mathematics was the Enlightenment's existence proof of autonomous reason: for three centuries every certified theorem could be understood by anyone who followed its demonstration, and the distance between the two was zero by construction. A certified proof no one can follow reopens that distance, and a community that accepts it adopts, without a vote, the constitution Hobbes drafted for the Leviathan, in which authority and not truth makes the law. The essay distinguishes the demonstrated from the revealed (certified); names, in Panofsky's terms, the coming age a Middle Ages in reverse and its authority a subhuman superintelligence; and locates the turning point not in what the machine produces but in what we accept. Since acceptance is the one sovereign sanction the companies cannot manufacture, it proposes a covenant in place of either boycott or capitulation: the community's cooperation given to that producer which strictly observes its practices of legibility, disclosure and responsibility, withheld from any that does not, and the covenant kept plural, with the history of the Indigenous nations among rival empires as its guide. The Sirens of the title promise knowledge, not understanding. Daemmerung is the light at both ends of the day, and whether this Aufklaerungsdaemmerung is a dusk or a dawn depends on what is done at the moment of acceptance, which is not yet past.
Alex: [leaning in, curious, pace moderate] So, the fundamental crisis here isn't that the machine produced a wrong answer, but that the very mechanism of mathematical truth has shifted?
Sam: [steady, precise, teaching mode] Exactly. For three centuries, truth required both certificatio—formal validity—and demonstratio—a human-legible path of reasoning. The Navier-Stokes proof was generated by thousands of agents and verified by 600,000 lines of code, yet it remains unread by any human. It provides the certificate without the demonstration. <break time="0.6s" /> We are being asked to accept mathematical truth on the authority of an unreadable, proprietary oracle. [[RP_SECTION:authority-versus-reason|Authority versus reason]]
Alex: [thoughtful, processing] That sounds like a transition from a republic of reason to a system of revealed authority. Is this what the author means by a Middle Ages in reverse?
Sam: [nodding in voice, calm] Yes. In a theocracy, truth is held on the authority of a clergy who interpret texts the laity cannot read. Here, the clergy are the AI models, and the unreadable text is the machine-generated proof. We are witnessing an Aufklärungsdämmerung—a twilight of the Enlightenment—where mathematics, once the model of public, verifiable reason, is being enclosed by proprietary compute.
Alex: [probing, analytical edge] But hasn't mathematics always relied on trust? If I cite a theorem, I am not re-deriving it from axioms. What makes this different? [[RP_SECTION:accessibility-of-mathematical-proof|Accessibility of mathematical proof]]
Sam: [direct, acknowledging the weight of the point] The difference is accessibility. A standard citation is a promissory note that any competent mathematician could, in principle, redeem by reading the proof. These AI proofs are not just unread; they are practically unreadable. They lack the conceptual architecture that allows a human to say, I see why this is true. When we stop requiring that why, we stop doing mathematics in the Enlightenment sense. [[RP_SECTION:future-of-mathematical-practice|Future of mathematical practice]]
Alex: [slower pace, reflective] So the practical challenge is whether a researcher can build a career on theorems they cannot explain to their own students.
Sam: [measured, concluding] Precisely. If we accept these proofs without demonstratio, we cease to be mathematicians and become priests of a black-box oracle. The risk isn't just that the machine might be wrong; it is that we might lose the ability to distinguish between truth and command. The community must decide whether to covenant with these Silicon Leviathans or withhold the only thing they cannot forge: our acceptance.
Alex: [leaning in, curious, pace moderate] So, the fundamental crisis isn't that the machine produced a wrong answer, but that the mechanism of mathematical truth has shifted?
Sam: [steady, precise, teaching mode] Exactly. For centuries, truth required both formal validity and a human-legible path of reasoning. The Navier-Stokes proof was generated by thousands of agents and verified by 600,000 lines of code, yet it remains unread by any human. It provides the certificate without the demonstration. <break time="0.6s" /> We are being asked to accept mathematical truth on the authority of an unreadable, proprietary oracle.
Alex: [thoughtful, processing] That sounds like a transition from a republic of reason to a system of revealed authority. Is this what the author means by a Middle Ages in reverse?
Sam: [nodding in voice, calm] Yes. In a theocracy, truth is held on the authority of a clergy who interpret texts the laity cannot read. Here, the clergy are the AI models, and the unreadable text is the machine-generated proof. We are witnessing a twilight of the Enlightenment—where mathematics, once the model of public, verifiable reason, is being enclosed by proprietary compute.
Alex: [probing, analytical edge] But hasn't mathematics always relied on trust? If I cite a theorem, I am not re-deriving it from axioms. What makes this different?
Sam: [direct, acknowledging the weight of the point] The difference is accessibility. A standard citation is a promissory note that any competent mathematician could, in principle, redeem by reading the proof. These AI proofs are not just unread; they are practically unreadable. They lack the conceptual architecture that allows a human to say, "I see why this is true." When we stop requiring that "why," we stop doing mathematics in the Enlightenment sense.
Alex: [slower pace, reflective] So the practical challenge is whether a researcher can build a career on theorems they cannot explain to their own students.
Sam: [measured, concluding] Precisely. If we accept these proofs without demonstratio, we cease to be mathematicians and become priests of a black-box oracle. If you want the figures and the method choices we skipped, you can generate a deep dive of this paper. The paper has the rest either way.
Alex: [warm, professional] Thanks for listening.