YC F26 公司 Axiomat 发布形式化验证查询 AI，杜绝幻觉
ycombinator · x · 2026-11-11
YC F26 批次公司 Axiomat 发布：面向结构化数据查询的 AI，宣称永远不会产生幻觉。
核心思路是对 agent 写出的每条查询做形式化验证，无法证明正确的查询直接不执行。由 KharitonovEthan 与 JackNaimer、eladperlman 等人联合创立。
所属事件:YC 公司 Axiomat 推出零幻觉结构化数据查询 AI(2 条相关)→
「应用」频道最新
- 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
- BioVault 推无主密码密码管理器：刷脸批准即开门，招募内测 — bittingthembits · 2026-11-11
- 曝苹果将推新 Mac 应用,让本地跑 AI 模型变简单 — themixtergames · 2026-11-11