YC F26 新作 AxiomatAI:用形式化验证让结构化数据查询零幻觉
ycombinator · x · 2026-11-11
Ethan Kharitonov 宣布推出 AxiomatAI（YC F26）：面向结构化数据查询的 AI，宣称「永不幻觉」。
- 核心机制：对 agent 生成的每条查询做形式化验证（formal verification），证明不了正确性的查询直接不执行
- 团队成员包括 Jack Naimer、eladperlman，获 Y Combinator 支持
- 思路上把「生成」与「执行」分离，用可证明性兜底 LLM 写查询时的错误
Garry Tan/官方账号 ycombinator 转发了这条发布。
所属事件:YC 公司 Axiomat 推出零幻觉结构化数据查询 AI(2 条相关)→
「应用」频道最新
- 独立开发者一周做出 Agentic Travel Monitor:审计 AI 如何看你的旅游生意 — robertonappe · 2026-11-11
- 木版画风格 roguelike《八雲 Yakumo》开放浏览器试玩 — noahsolomon · 2026-11-11
- OpenAI 宣布 12 月 11 日退役 ChatGPT 高级与标准语音，全面转向 GPT-Live — OpenAINewsroom · 2026-11-11
- 用户亲测 AI 电话预约后表示：比跟真人通话更高效，只想把事办完 — morganlai · 2026-11-11
- 没有 Claude 账号也能玩 Whiteboards：博主推荐 DSH 插件替代方案 — dotey · 2026-11-11
- 隐私 AI 产品 Venice 推出 Discover：选模板加照片即可生成个人视频 — 0xAllen_ · 2026-11-11