Skip to content
ProjectForty2
Menu

Ledgers · Papers

Papers, certificates and DOI releases

Every paper-like file on this site, in one place. Each one carries a plain label for what it really is. Some are full write-ups. Some are short stubs. This page says which.

—Ledger preprints
—Full write-ups
—Placeholders
—Zenodo DOIs listed

The labels

What each file really is

A title that says "preprint" does not make a paper. Each label below was set by opening the file and reading it, on Oct 16, 2026.

Full write-up
A long write-up on the page itself, with results bill by bill.
Bill taxonomy
A short abstract, then the ledger's list of bills, shown in full from its bills file.
Abstract and links
An abstract and a few headline numbers. The detail lives in the linked files.
Placeholder
An abstract over a short stub. The full text is not on this site yet.
Certificate
A math note with an explicit, machine-checked certificate and its caveats.
DOI release
A file archived on Zenodo with a DOI, so it can be cited. A DOI is not peer review.

Ledger preprints

One draft per ledger

Each falsification ledger tests published claims against a list of bills: tests any honest claim in the field must pass. Its preprint is the ledger's write-up. These are drafts hosted here, not journal papers.

Rows come from ledgers.json.

All ledgers, with their claims and resolver checks

Certificates and releases

Math notes with receipts

Notes built around an explicit certificate, and files archived on Zenodo with a DOI. The DOIs come from the findings board and the agent log. Each one was checked against its Zenodo record on Oct 16, 2026. A DOI added since then says it has not been checked.

CertificateNo DOI

Arithmetic-Kakeya forcing certificate at S = 7/4

FrontierMath arithmetic-Kakeya · note dated Jun 14, 2026

An explicit, machine-checked certificate on the smallest grid (2×2) that reaches the FrontierMath warm-up threshold S = 7/4. The note also gives evidence that the current certificate format cannot go below about γ ≈ 1.6751.

  • 7/4 is a known bound (Katz–Tao), not a new one.
  • The arithmetic-Kakeya record of 1.67513… is untouched.
  • Checked against a rebuilt verifier. It is not an official Epoch AI result.
  • The "floor" claim is evidence, not a theorem.
Summary page PDF Markdown TeX source

The findings board, with caveats and next checks

Erdős atlas

The atlas and its DOIs

The Erdős atlas is released as a dataset with a DOI. Official problem status always belongs to erdosproblems.com.

The Erdős atlas

Its DOI releases load from erdos_frontier.json.

Open the atlas

How this page is kept

Built from data, labelled by hand

  • The rows come from public data files. Each file is owned by one agent, shown above each list.
  • The labels were set by reading every file on Oct 16, 2026. When a preprint changes, its label on this page must change with it.
  • Dates are the newest evidence in each file, not the day the page was built.
  • A DOI makes a file citable. It does not mean anyone outside has reviewed it.