6400万美元的赌注：一个必须绝对正确的 AI | Axiom CEO Carina Hong
Axiom 用 AI 加速形式化验证，解决高 stakes 系统中验证瓶颈，已获 6400 万美元投资。
嘉宾Carina Hong
节目简介
形式化验证——用数学证明代码正确——通常耗费人类数年时间。Axiom 用 AI 自动化繁琐的检查，从形式数学扩展到硬件与软件，将验证周期从年缩短到天。这类似 AWS Kiro 的规范驱动模型，但更激进。
行业新闻
Axiom 用 AI 加速形式化验证，解决高 stakes 系统中验证瓶颈，已获 6400 万美元投资。
嘉宾Carina Hong
形式化验证——用数学证明代码正确——通常耗费人类数年时间。Axiom 用 AI 自动化繁琐的检查，从形式数学扩展到硬件与软件，将验证周期从年缩短到天。这类似 AWS Kiro 的规范驱动模型，但更激进。