The $64M Bet on an AI That Has to Be Right | Carina Hong, CEO of Axiom

The $64M Bet on an AI That Has to Be Right | Carina Hong, CEO of Axiom

Formal verification already consumes years of human effort.

In this episode, Lukas Biewald talks with Carina Hong, Founder & CEO of Axiom, about why verification is becoming the real bottleneck in high stakes AI systems.

They discuss how Axiom uses AI to take on the tedious checking that stretches verification cycles across years, starting with formal mathematics and extending to hardware and software.

Carina also explains why Axiom’s approach to auto-formalization mirrors spec driven models like Kiro from AWS.

Connect with us here:

Carina Hong: https://www.linkedin.com/in/carina-hong/

Axiom: https://www.linkedin.com/company/axiommath/

Lukas Biewald: https://www.linkedin.com/in/lbiewald/

Weights & Biases: https://www.linkedin.com/company/wandb/

Denne episoden er hentet fra en åpen RSS-feed og er ikke publisert av Podme. Den kan derfor inneholde annonser.

Episoder(138)

He's Building an AI That Can't Lie | Dan Klein

He's Building an AI That Can't Lie | Dan Klein

"We are going to switch from the problem in AI being that nothing works to the problem being that everything works."Dan Klein has been studying language models for over two decades and is now a profes...

16 Jun 1h 14min

He Raised $70M to Cure Every Disease With AI | Samuel G. Rodriques, Edison Scientific

He Raised $70M to Cure Every Disease With AI | Samuel G. Rodriques, Edison Scientific

Samuel Rodriques left physics because there were no unsolved problems left.Instead, he built an AI scientist named Kosmos to cure every disease, solve aging, and map the human brain.In this episode:Th...

26 Mai 1h 14min

Uber, Nissan, and Mercedes Chose This Self-Driving Startup | Alex Kendall, Wayve

Uber, Nissan, and Mercedes Chose This Self-Driving Startup | Alex Kendall, Wayve

"Every vehicle is capable of driverless operation. That's clearly the steady state of where we're going."Wayve started in a rented house in Cambridge with $1.5M, a car in the garage, and an aim to int...

15 Apr 45min

Why Netflix, Uber, and Spotify Never Lag: The Database Nobody Talks About | Aaron Katz

Why Netflix, Uber, and Spotify Never Lag: The Database Nobody Talks About | Aaron Katz

"Companies designing for agents, not humans, are going to get a lot of lift."ClickHouse started as an internal tool at Yandex. Today it's the database Anthropic, OpenAI, Meta and Tesla all run on.In t...

31 Mar 43min

What a $42B Software Co. Really Spends on AI Tools

What a $42B Software Co. Really Spends on AI Tools

“I don't worry about being replaced by AI. I worry about being replaced by someone who's really good at using AI.”Atlassian has 10,000+ engineers currently split-testing the world’s top AI coding tool...

20 Jan 1h 7min

Inside the $41B AI Cloud Challenging Big Tech | CoreWeave SVP

Inside the $41B AI Cloud Challenging Big Tech | CoreWeave SVP

The future of AI training is shaped by one constraint: keeping GPUs fed.In this episode, Lukas Biewald talks with CoreWeave SVP Corey Sanders about why general-purpose clouds start to break down under...

6 Jan 53min

Why Physical AI Needed a Completely New Data Stack

Why Physical AI Needed a Completely New Data Stack

The future of AI is physical. In this episode, Lukas Biewald talks to Nikolaus West, CEO of Rerun, about why the breakthrough required to get AI out of the lab and into the messy real world is blocked...

16 Des 20251h

Populært innen Business og økonomi

stopp-verden
dine-penger-pengeradet
rss-penger-polser-og-politikk
e24-podden
lydartikler-fra-aftenposten
rss-borsmorgen-okonominyhetene
rss-pa-konto
pengepodden-2
tid-er-penger-en-podcast-med-peter-warren
morgenkaffen-med-finansavisen
livet-pa-veien-med-jan-erik-larssen
rss-skravla-gar
finansredaksjonen
utbytte
pengesnakk
liberal-halvtime
lederpodden
okonomiamatorene
rss-kron-podden
paretopodden