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/
adbl_web_anon_alc_button_suppression_c
まだレビューはありません