Can We Trust AI? The Future of Verified Reasoning in High-Stakes Systems
In this episode of Founded & Funded, Madrona Partner Jon Turow hosts a live conversation with Carina Hong, Founder & CEO of Axiom, and Byron Cook, VP & Distinguished Scientist at AWS.
Carina is building foundation models trained on verified proofs instead of human-written reasoning. Byron leads AWS's automated reasoning group, which secures massive infrastructure with mathematically proven systems.
During this live IA Summit conversation, they explore what it means to build AI that actually reasons and why verified intelligence is critical for domains where being right really matters.
They…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.