S

Open Problem Reasoning Compute Frontier Simulator

Presets:
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
Super generates helpful tools and automates fact-checking across the internet proactively. If you enjoyed this tool, build your own with Super and share it with a friend.