Home
Research
Origin
Ecosystem
Careers
Connect Wallet
Media
Ledger
Newsroom
Stay in touch
X (Twitter), Nomos Math
NOMOS
Home
Research
Ecosystem
Newsroom
Ledger
Career
Origin
Connect Wallet
Close
Menu

Verified Results

The part of the research ledger that has passed independent or formal checking. No mathematical claim is treated as proven without verification, so results move here only after they have been confirmed.
Entry Requirement
A result appears here only after independent checking or a machine-verified confirmation.
Checked Two Ways
Verification comes from independent review or from a proof a machine can check.
Kept Separate
Verified outputs stay distinct from known, provisional and rejected entries.
Verification

Checked
Independently

Verification is the gate between a stated result and a recorded one. Until it is passed, a claim stays provisional.
Independent review
Formal proof check
Review & recheck
Status upgrade
Public evidence
Reproducible steps

Verification
Properties

1
Verification First
A claim is recorded as verified only after a check has actually been performed.
2
Independent Checking
Confirmation may come from readers outside the process who repeat the reasoning themselves.
3
Machine-Checked Proof
Where a statement can be formalised, each step can be confirmed mechanically.
4
Distinct Categories
Verified outputs are never merged with provisional ones; the boundary stays explicit.
5
Reversible Status
If a check fails on review, the entry returns to provisional or is recorded as rejected.
6
Readable Evidence
Every verified result points back to the reasoning and the checking that produced it.
let’s verify

Follow the research
at Nomos

Connect Wallet
OPEN QUESTION REASONING COMPUTATION CHECKING & LEDGER RECORD
A continuous research process, recorded in public as it happens. Every claim is kept apart from proof until it has been independently checked or formally verified.