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

Independent Checking

The step that decides what counts as a result. No mathematical claim is treated as proven without verification, and new claims remain provisional until independently checked or formally verified.
Provisional by Default
Built so new claims enter the record as provisional, never as finished results.
Independent Review
Designed so a claim is confirmed outside the process that produced it.
Formal Verification
Structured around machine-checkable proof rather than informal argument alone.
Verification

Operational
Capabilities

Built for research environments where nothing counts as proven until it has been checked independently or formally.
Independent checks
Formal verification
Provisional status
Rejection handling
Result classification
Ledger accuracy

System
Properties

1
Provisional Status
New claims are held as provisional until a check has actually been completed.
2
Independent Checking
Confirmation comes from a route separate from the one that produced the claim.
3
Formal Verification
Supports machine-checkable proof as the strongest confirmation available here.
4
Rejected Results
Failed claims stay in the record rather than being quietly removed from it.
5
Distinct Categories
Known, provisional, rejected and verified results are kept separate.
6
No Claim of Proof
Public research records are published as records, not declarations of proof.
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.