RJ Honicky

Co-founder and CTO of MiraOmics, where he builds AI models and services for single-cell and spatial transcriptomics and pathology-slide analysis; co-host of Latent Space’s AI for Science podcast.

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.

Latent SpaceJun 3, 202623 min read