Carina Hong (Axiom Math CEO) frames mathematical superintelligence as verified knowledge discovery—a closed loop where conjecturing feeds proving, and proving enables better conjectures. The core idea: you can't have "Schrödinger's superintelligence" where you're unsure if the reasoning is actually sound. Real superintelligence = discovery + trust, extended into formal verification for both software and hardware. This shifts the goal from raw inference speed to provable correctness at scale.