THE RESEARCH ATLAS VOL. 03 / INFORMAL
14,754 ideas.
Every one has a source.
Travel through algebra, geometry, and the ideas between them. A source-linked mathematical DAG, with room for the next useful discovery.
Unfolding the mathematical landscape…
Loading the complete source-linked catalogue.
READING THIS MAPThe catalogue contains 14,754 mathematical statements from the Stacks Project. Arrows follow earlier source references; forward references are omitted to create a DAG. Isolated statements and separate components remain in the catalogue. Each statement retains its source text and stable reference tag. Coverage, attribution & source license ↗
FROM ONE RUN TO THE NEXT
Good work should
have somewhere to go.
Connect a completed run to an idea. Its research becomes a visible node and reusable context for the next proving harness.
Open the proving workspace →Only eligible model results
Shared research memory accepts recorded runs from gpt-6, fable, gpt-5.6-sol. Eligibility comes from the actual run provenance.
A source, a result, a connection
Publish an eligible completed run to a source node. Gold diamonds distinguish model reasoning from the mathematical literature and retain the source run.
A live record of useful work
Checking the shared memory collection…