Priest, Monk, and Mathematician

A recent mathematical milestone - the machine-assisted construction of a Navier-Stokes blowup, credited to OpenAI with key human collaborators - is presented as a turning point that changes what doing mathematics means. The central claim is that large models will not merely accelerate research but become the active researchers, leaving humans to play interpretive roles. Early human responsibilities become those of priests: verifying, translating, and teaching proofs generated by superhuman systems (an episode involving an LLM-generated proof later checked in Lean is cited). Institutional efforts to preserve “human understanding” are treated as insufficient; the cyborg phase, where humans collaborate with models, is temporary because scaling will favor models alone.

Once interpretation yields to incomprehensibility, human mathematicians become monks: contemplatives who meditate on truths they can no longer originate or fully grasp. Biological and information-theoretic limits will prevent future humans from following model-led discoveries, so intellectual life shifts from discovery to devotion. Three futures are outlined as alternatives: constrain AI to preserve human-centered math, become post-human through augmentation or uploading, or accept the priest/monk outcome in which human knowledge plateaus while knowledge writ large continues beyond human reach. The piece frames this transition as imminent and existential for the mathematics community.