ADV-050 · evidence animation · provenance
Cristian Guerra · QA Automation · Medellín, Colombia · @criguex
Where the statement comes from
OpenAI's challenge statement compared with Google DeepMind's public Formal Conjectures statement, declaration by declaration.
How to read this animation: Identical declarations light up one by one; the remaining differences are listed below them. The last panel summarizes the clause-by-clause Clay ↔ Lean risk review, which is reading-based and not yet reviewed by a mathematician.
Accessible explanation, equations, and source records
Open the evidence animation gallery · Download standalone HTML