Rohan Paul

This diagram shows how the AI’s work gets checked. Basically, you never have to trust the AI. The AI agents write the proof, but a strict math checker throws out anything wrong, so you only have to trust the security rules humans approved, not the AI itself.