Carina Hong
Founder and CEO of Axiom Math, an AI startup building verified mathematical reasoning systems and AI tools for mathematical research, proof generation, and code verification. Hong is a mathematician, MIT mathematics and physics graduate, former Stanford mathematics PhD student, Rhodes Scholar, and Morgan Prize winner.
Axiom Math Says Verified Reasoning Can Outscale Informal AI
Carina Hong, founder and CEO of Axiom Math, argues on the AI for Science podcast that formal verification is not mainly a way to police AI errors but a mechanism for scaling reasoning itself. Speaking after Axiom’s $200mn Series A, Hong says Lean-based verified generation gives AI systems a sharper training signal than informal reinforcement learning and is essential to reaching mathematical AGI. She points to Axiom’s reported perfect score on the 2024 Putnam exam as evidence, while acknowledging that specification, provenance and human judgment remain hard limits.
AI Is Moving Deeper Into Science, but Validation Remains the Bottleneck
At AI+Science: AI for the Universe, Kyle Cranmer, Carina Hong and Douglas Finkbeiner argued that AI is already embedded in scientific work, but its value depends on where validation happens. Cranmer framed physics applications around prediction and inference, where formal checks, simulator calibration or uncertainty correction determine whether model output can support scientific claims. Hong made the parallel case in mathematics, where Lean-style formal proof gives some AI results a clean score but leaves problem selection and theory-building with experts. Finkbeiner said astronomy’s newer disruption is the desk-level AI collaborator, which can improve research work while increasing the need for verification and scientific judgment.