Carina Hong

Axiom Math advances Verified AI to scale brilliance and compound it through formal proofs with Lean, achieving 12/12 on Putnam and 99% (187/189) on Verina Codegen, far exceeding OpenAI o3’s 4.9%, providing critical capability verification and knowledge propagation for AGI.

Carina Hong, CEO of Axiom Math, discusses why math may be the missing path from code agents to AGI, how verified AI is about scaling brilliance not just fixing hallucinations, and the role of Lean and formal proofs in turning reasoning into a stronger reward signal.