cert-machine · reports
The reports
Research notes ordered by weight, not date. Every page re-proves itself: its numbers are recomputed from the certificates and records at build time, its planted falsifiers must fire, and a build that drifts refuses to ship.
the eval · live boardThe matmul eval: ground truth is a proofFrontier models are asked for exact rank-R matmul tensor decompositions; every proposal is certified or refuted in exact rational arithmetic. No judge, no rubric — a proof either exists or it does not.first board live · zero subtly-wrong survivors
methods noteNone by reading codeEvery real bug this machine has found — ten, cataloged — was caught by a red control, a calibration, an impossible number, or a byte pin. The discipline stated as engineering, with living gates.every regression re-held by a battery at build
audit · refutationThe constant that was a rounding errorA GPT-published constant on Erdős #852, refuted at its 12th significant digit and shown to BE the naive IEEE-754 float product, digit for digit — with the certified correction.refuted at digit 12 · correction certified
audit · standing registryThe Ramanujan Machine, auditedEvery row of all seven published result sheets decided by rigorous enclosures and exact rational comparisons — the whole registry re-certified at every build.52 rows · 51 survive · 1 printed row refuted
program · certified landscapeThe Mercer programChowla’s cosine dips and Newman’s 0/1 minima certified as one landscape: exhaustive box sweeps, exact champions, a Sturm equality — every claim re-proved at build.mu(5) ≤ 1 + π/20 · re-certified every build
erdős #290 · theoremErdős #290: the 4k(k+1) theoremThe square-discriminant law proved and re-proved as exact integer identities during the build, the enclosure sweep deepened past the cited page, the exceptional degree closed.planted falsifiers must fire at build
proved negativesThe impostor catalogPublished constants that agree with simple closed forms for dozens of significant digits — and exact proofs that every one of them is lying. Digit agreement is not evidence.exact BigInt refutations at full published precision
audit · ζ(3) sheetThe ζ(3) sheet, decidedThe Ramanujan Machine’s complete zeta(3) result sheet re-decided with certificates: proved tail bands, convergence inside the certificate, exact rational comparisons.the spurious-solution lemma re-proved at build
certified invariantEntropy, with a certificateA certified lower bound on the topological entropy of the classical Hénon map — covering relations composed to an exact integer spectral argument, calibrated at the full horseshoe.h_top ≥ 0.3017, a theorem
erdős #1038 · verificationErdős #1038: thirty decimals verifiedThe computational fragment of the Darvas–Peng–Tao manuscript re-verified by an independent route — Krawczyk rather than bisection — with the 30th digit read correctly.filed on the claiming authors’ repository
eval note · alignment sandboxAlien science needs a dispositionAn evaluation note on Anthropic’s automated-alignment sandbox: its authors name evaluation as the binding constraint, and this is what certified evaluation looks like.posted to the inviting repository
validated numericsA congestion mean-field game, enclosedAn equilibrium of a mean-field game with congestion enclosed by validated numerics: an exact solution within an explicit radius, locally unique in the full sequence space.embedded verifier re-run at build
certified reproductionWardrop, certified: exact, enclosed, refusedThe multi-population Wardrop equilibria of a published paper reproduced with certificates — exact where possible, enclosed where not, and refused where honesty demands it.embedded verifier re-run at build