Cristian Guerra · QA Automation · Medellín, Colombia · @criguex

Rebuild and recheck (C) and (D)

OpenAI's Navier–Stokes and Euler proofs rebuilt from scratch and rechecked by Comparator three times.

How to read this animation: Comparator compiles the official challenge and OpenAI's solution separately, checks that the theorem statements match exactly and use only standard axioms, then has two independent kernels re-check every proof step.

Open the evidence animation gallery · Download standalone HTML