4581
Ethan Kharitonov
About
Ethan Kharitonov is Co-Founder at Axiomat, a Y Combinator F2026 startup that formally verifies the queries AI agents run against company data.
Before founding
Ethan worked as an Applied Scientist at AWS, where he focused on formally verifying AI responses.
Founder Insights
His hands-on work tackling AI hallucinations at AWS shaped Axiomat's core idea of replacing manual answer checking with mathematical guarantees.
Experience
Axiomat is a small San Francisco team backed by Y Combinator, building infrastructure that proves AI answers are correct before employees or customers rely on them.
Scale & Impact
Axiomat starts with data queries and analysis, addressing the growing need for companies to trust AI agents without humans manually checking every answer.