Axiomat 发布形式化验证查询 AI，杜绝幻觉

YC F26 批次公司 Axiomat 发布面向结构化数据查询的 AI，通过形式化验证 AI 智能体写出的每条查询，并拒绝执行无法证明正确的查询。该产品宣称可杜绝幻觉，由 KharitonovEthan、JackNaimer、eladperlman 等人联合创立。