RJ Honicky

RJ Honicky is co-founder and CTO of MiraOmics, where he leads engineering and data science for the company’s computational biology and AI/ML platform. His background includes engineering leadership at Tarana Wireless and technical and research roles at Nokia Research and Network Appliance. He also co-hosts 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