AxiomatAI (YC F26) launches: formally verified structured-data queries that can't hallucinate
ycombinator · x · 2026-11-11
Ethan Kharitonov launches AxiomatAI (YC F26): AI for structured data queries that "can't hallucinate, ever." Every query an agent writes is formally verified — if correctness can't be proven, it doesn't run. Built with Jack Naimer, eladperlman and Y Combinator.
Related event: YC-Backed Axiomat Launches Hallucination-Free Query AI(2 posts)→
More from Apps
- Theo says now is the right time to reinvent the email client — braelyn_ai · 2026-11-11
- Indie day-planner Clearing hits App Store: $29.99 buy-once Mac/iPhone app with MCP agent support — therealdanvega · 2026-11-11
- Grok Bots can now make phone calls over iMessage — 'zero learning curve is the sauce' — RileyRalmuto · 2026-11-11
- Apple TV rolls out new Sign Language interpretation feature — SumitGup · 2026-11-11
- Van Gogh's Starry Night turned into a playable game built with Fable 5.2 — ebbyamir · 2026-11-11
- Indie Dev Builds Agentic Travel Monitor in a Week to Audit How AI Sees Tourism Sites — robertonappe · 2026-11-11