Axiomat推出可验证AI
摘要
YC孵化的Axiomat由Ethan、Jack和Elad创立，首个场景为结构化数据查询。它用Lean形式化验证查询与业务规则定义是否一致，无法证明的查询不会执行。
原文片段
Axiomat – Agents that cannot hallucinate Formally verified data queries Hey YC 👋! We’re Ethan, Jack and Elad, founders of Axiomat. ## TL;DR We’re building formally verified **AI that cannot hallucinate. Ever.** We’re starting with queries over structured data. Axiomat lets your customers and empl…