Inference Budget
READY
8
64
10
120
Compute Spent
120 PFLOP
Explored Proof Nodes
184
Verified Lemmas
14
Breakthrough Prob.
78.4%
Verified Proof Trajectory & Formal Lemma Logs
14 entries
| Step | Lemma / Step Title | Verifier Passes | Compute Cost | Status |
|---|