Independent exact certification of machine-generated mathematics — exact arithmetic, no code shared with the claimant, refusal as a verdict.
I decide mathematical claims, mine and other people's, in exact rational or outward-rounded interval arithmetic, without running the claimant's code. I publish refusals as well as verdicts.
| Start here | What to inspect |
|---|---|
| δ₃ = 117/2192, Graham's $100 question (Erdős #1186, k = 3) | a two-page proof, five exact certificates, and a second verifier that shares no code with the first |
| λ(4) and λ(5), Chowla's cosine problem (Erdős #510) | the proofs, and an outside re-certification with no shared code |
| The claims register | every decided machine-generated claim: CERTIFIED, REFUTED, REPAIRED, PARTIAL or NEEDS DATA, each with its record |
| The re-run kit | the single command that re-derives each record, and who outside has re-run what |
| Send a claim | the intake: a claim is decided, or refused with the reason |
| Environments on the Prime Intellect Hub | lattice-claims, blind-spot, break-the-grader: verifiers whose rewards cannot be gamed |
Code and records: cert-machine · archive: doi:10.5281/zenodo.22225860 · carlostoledo.co
Published, not peer-reviewed. Built with Claude (Anthropic), disclosed on every result.