arXiv2026
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.