# Axiomat推出可验证AI

- 地址：https://1ms.news/events/2932
- 首发：2026-11-10 07:00（北京时间），YC 新创公司
- 报道：1 家来源，1 条
- 原文：https://www.ycombinator.com/launches/X3M-axiomat-agents-that-cannot-hallucinate

## 摘要

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…

---
来自 1ms.news（https://1ms.news）。内容整理自公开来源，以原文为准。