Pass a theorem between phones. Each one tests it at a fresh random point in exact arithmetic, then rechecks every phone before it. Fake a leg and the next phone catches it.
claude.ai/artifact/HkpFPZF71…
New: a math relay for phones. Every phone does fresh exact math on our theorem and redoes all the math before it. No app, just a browser. For the phone reproduction (163 characters), which you can post once. We reran every certificate in our preprint on an Android phone.
1
10