En el vídeo «AI that can prove it’s right: Verification as the missing layer in AI», Carina Hong explica cómo Axiom Math está desarrollando una inteligencia artificial matemática capaz de autoverificarse utilizando el lenguaje Lean. Su sistema, AxiomProver, no solo obtuvo una puntuación perfecta en el examen Putnam, sino que también resolvió cuatro conjeturas de investigación complejas sin ninguna intervención humana.

Hong subraya la importancia crucial de la verificación para eliminar las alucinaciones en los sistemas de IA. Al combinar razonamiento formal e informal, Axiom Math aspira a liderar un renacimiento matemático que permita resolver problemas históricos y transforme sectores críticos donde la precisión absoluta es fundamental para el desarrollo de nuevas tecnologías y descubrimientos científicos.