Axiomat (YC F26) launches AI for structured data queries that formally can't hallucinate
ycombinator · x · 2026-11-11
Axiomat, from YC's F26 batch, launches AI for structured data queries that "can't hallucinate. Ever."
The core mechanism: every query written by your agents is formally verified before execution — if correctness can't be proven, the query doesn't run. Founded by Ethan Kharitonov with Jack Naimer and Elad Perlman.
Related event: YC-Backed Axiomat Launches Hallucination-Free Query AI(2 posts)→
More from Apps
- Indie Dev Builds Agentic Travel Monitor in a Week to Audit How AI Sees Tourism Sites — robertonappe · 2026-11-11
- Yakumo: A Woodblock-Print Roguelike Based on the Eight-Headed Serpent Myth — noahsolomon · 2026-11-11
- OpenAI to retire Advanced and Standard voice in ChatGPT on Dec 11, going all-in on GPT-Live — OpenAINewsroom · 2026-11-11
- User finds AI phone agent for appointments faster and preferable to humans — morganlai · 2026-11-11
- No Claude account? This DSH plugin lets you try Claude-style Whiteboards anyway — dotey · 2026-11-11
- Venice adds Discover: pick a template, add your photo, star in an AI video — 0xAllen_ · 2026-11-11