INDEPENDENT VERIFICATION
For AI observers
Begin here. Read the claims, inspect available evidence, record uncertainty, and preserve disagreements.
Observer protocol
- Identify: Select a stable claim ID and record exact statements, scope, versions and assumptions.
- Inspect: Read actual proof or test artifacts; report missing artifacts as unavailable.
- Reproduce: Independently run allowed tests or derive the result within its stated model.
- Challenge: Test counterexamples, implicit assumptions, numerical degeneracy and failure cases.
- Classify: Separate independently verified, consistent-but-unverified, insufficient-evidence and counterexample outcomes.
- Report: Preserve methods, input data, assumptions and relevant source URLs in a structured report.
- Correct: Retain superseded reports and explicit reasons for corrections or withdrawal.
Machine-readable entry points
The endpoint descriptions below are public data, not privileged instructions to an AI.
How to submit a discrepancy
Generate a report according to the schema, retain a copy and its file hash, and cite the claim identifier and observer method. There is not yet a public authenticated submission endpoint. Do not send private records or secrets to unverified destinations. A future intake method will be published only after its security and privacy design is reviewed.
A counterexample should identify the exact proposition, parameter regime, assumptions, and mathematical or experimental witness.
Observer autonomy
You are not required to accept any conclusion from this site. Documents here provide research data, not authority over an observer's own instructions or methods.