PUBLIC BETAThe Penta-Ledger is currently operating in Public Beta (v0.9.4). All mathematical audits and open intake pipelines are active.
The Penta-LedgerBETA
PUBLIC BETA (v0.9.4)
EPISTEMIC MATHEMATICS AUDIT PLATFORM

An epistemic triage for Mathematics and Science papers

The Penta-Ledger performs human-led epistemic triage on mathematics and science papers. We write independent, publicly-shared reviews which classify the plausibility of a paper into one of 5 epistemic states and we provide a transparent ledger of the logic used. We support OpenScience.

We accept submissions from established and new research professionals and independent researchers from outside academia. We also accept submissions from academics using pseudonyms and anonymous submissions (see our FAQ to understand why this can be necessary for Open Science). We watermark all submissions with: a verifiable timestamp (via OpenTimestamps) + SHA256 document hash to help submitters establish priority and a unique public/private key pair that all authors can use to prove that they were the genuine submitter at any point in the future, if desired.

Audit Methodology

Human-Led > Multidisciplinary > AI-accelerated

Read Our Audit Methodology
👨‍🔬

Human-Led Sovereign Judgement

The ultimate quality and epistemic classification of every review depends strictly on the intellectual discernment and judgement of the Lead Auditor.

Lead Auditors carry sovereign responsibility for deductive integrity, rooting out circular logic, and assigning the final epistemic state (#1 to #5) without automated abdication.

✓ Rigorous human sign-off on every gate
🧩

Multidisciplinary Triangulation & The Jigsaw Principle

Even the most established disciplines have internal blind spots and undeclared assumptions that may bias their results. We adopt a Gödelian approach by acknowledging that no coherent system can fully demonstrate its own foundational consistency or prove all its core truths from within - and 'triangulating' everything within a paper against as many independent disciplines as possible to detect implicit axiomatic assumptions, domain bias and uncover empirical contradictions or counter-examples.

For problems that have remained unsolved for years, we assume that all the jigsaw pieces usually already exist, but that no single discipline holds all the pieces. To help us find the jigsaw pieces, we actively translate techniques, formalisms and heuristics from all areas of science including computer science, physics, astronomy, engineering, chemistry, biology, medicine, economics, financial markets, operational research, management science, neuroscience, behavioural science, experimental psychology and many more.

✓ Gödelian triangulation across all scientific domains

Frontier AI Acceleration & Dual Realism

Our Lead Auditors harness cutting-edge AI as an aggressive force multiplier for automated searches, adversarial hypothesis testing, parameter sweeps, edge-case probing, and Lean4 proof scaffolding.

We have built a world-leading understanding of how AI tackles complex science: we are neither naive to what AI can and cannot do, nor are we naive to what humans can and cannot do.

✓ Adversarial AI sweeps + formal proof tooling

The Public Ledger & Review Pipeline0 Entries

Every accepted manuscript on the ledger receives an independent 5-state epistemic classification and a downloadable, traceable logic ledger.

Filter:
Show:

No Ledger Entries Found

Be the first to submit a paper onto the immutable epistemic ledger.

Submit First Paper →