---
id: "AEB-004"
category: "verification_architecture"
confidence: 0.96
date: "2026-02-15"
source_file: "Agentic OS Blueprint Research Synthesis (Aletheia section, MarkTechPost 2026-02-12)"
---

# AEB-004

Aletheia achieves 95.1% accuracy on IMO-ProofBench Advanced (vs previous record of 65.7%) through an explicit 3-part agentic harness: Generator (proposes hypothesis), Verifier (checks for logical flaws, calculation errors, fabricated citations), Reviser (backtracks and refactors until flaws resolved) -- the separation of verification duties helps models recognize flaws they initially overlook

## Relationships

