AgentQED
Built at Zero to Agent: Vercel x Deepmind Hackathon SF · Mar 21, 2026 · San Francisco, CA
AgentQED is an AI agent that verifies mathematical proofs. You give it a proof — typed, spoken, or handwritten on paper — and it tells you whether your proof is actually correct by running it through a real theorem prover.
