A Mathematical
Sky Survey.
A systematic search through the open questions between mathematics’ landmarks.
SCOPE — the System for Conjecture and Open-Problem Exploration — is being built to explore that landscape continuously: unresolved cases, useful constructions, sharper bounds, and connections waiting to be made.
The aim is not to pursue only the hardest problems. It is to make steady, inspectable progress across a much wider mathematical sky.
HERA Survey
The research architecture behind SCOPE, designed for broad exploration within short time windows and modest inference budgets.
Meet HERA SurveyRead. Inspect. Reproduce.
The portal holds each core argument and its verification status. Annual GitHub archives hold supporting code, formal proofs, and research files, linked to a versioned result.
From a question to a record.
The planned workflow separates finding a result from establishing what it proves.
Find a tractable open question.
Identify a precisely stated question and map its assumptions, sources, and known boundaries.
Check what is already known.
Search prior work before committing research effort. Record the scope and limitations of that search.
Give HERA a bounded observing window.
HERA Survey coordinates research under explicit time and cost limits, producing a claim and a traceable argument.
Examine the result from three directions.
Separate reviews assess correctness, originality, and mathematical value. A promising claim alone does not count as a confirmed result.
Bring valuable results to the kernel.
Selected high-value results enter Lean verification. The record states the exact formalized claim, its assumptions, and external dependencies.
Make the work inspectable.
Publish the core derivation and verification status in the catalogue, with supporting code and research material in the annual GitHub archive.
Every status has a scope.
An independent review, an originality search, and a Lean check answer different questions. SCOPE will display them separately, alongside the claim version and supporting evidence. Corrections and withdrawals remain part of the record.
The instrument is taking shape.
This is a pre-first-light interface preview. The catalogue contains six labelled classical examples and no published SCOPE discoveries.
Search the preview