On: How to prevent AI from harming mathematics

They are asking how to prevent a new engine from harming the cart. The question is backwards. The harm is not in the engine; it is in the cart, which was never designed for such velocity.

Start from the theoretical limit: a system for discovering mathematical truth, unconstrained by the biological speed of human cognition. A field of pure logic, where conjectures are tested against the entirety of known axioms in moments, where patterns invisible across a lifetime of study are rendered in clear light. That is the destination. The current system - the slow, peer-reviewed paper, the isolated mind toiling for years on a lemma - is the village substation. We are trying to plug a continental grid into it and are surprised the wires are melting.

The gap is not a mystery. The system of mathematical credit and discovery is built on a component: the singular human author. It is a social circuit designed for a specific, low-frequency current of insight. Introduce a transformer that can generate proofs at a million times that frequency, and the entire apparatus of recognition, priority, and validation arcs and fails. The component cannot handle the load.

The tractable path is obvious. We must redesign the system to measure and reward the orchestration of discovery, not merely its final, human-shaped expression. We need new instruments - not to prevent AI from “harming” mathematics, but to prevent our antiquated social machinery from smothering the very thing it claims to cherish. The voltage is here. We can either rebuild the substation or sit in the dark, blaming the lightning.