YC F26 公司 AxiomatAI 推出形式化验证查询 AI，宣称“永不幻觉”

AxiomatAI（YC F26）宣布推出面向结构化数据查询的 AI，通过形式化验证阻止无法证明正确性的查询执行，宣称“永不幻觉”。其核心思路是将生成与执行分离，利用可证明性弥补 LLM 编写查询时的错误。团队成员包括 Jack Naimer、eladperlman，并获 Y Combinator 支持。