Readable statements
Technical detail is retained, but the hierarchy and typography are designed for sustained reading rather than pipeline inspection.
About the library
A place for promising questions, carefully qualified.
This collection makes the retained journal-style papers from an automated conjecturing pipeline readable, searchable, and open to mathematical inspection.
Why this library exists
Large mathematical databases make it possible to notice patterns across families that are difficult to see one object at a time. The pipeline behind this site uses data from theLMFDB to propose precise statements, look for counterexamples, and compare them with known mathematics.
The library is the public reading room for the retained papers. Each entry reproduces its abstract, definitions, exact conjecture, numerical evidence, heuristics, known results, open difficulties, and bibliography. A matching typeset PDF is available for every paper.
Editorial principles
What the collection tries to preserve
Visible uncertainty
Finite evidence, literature review, and proof are different things. The labels on this site keep those distinctions explicit.
Traceable records
Entries retain their number, timestamps, assessment, and source PDF so that later discussion can point to a stable record.
A small, durable website
This site is intentionally static. It uses no account system, tracking database, or server application. The conjectures are stored as Markdown, mathematics is rendered at build time, and the search index is shipped with the pages. That makes the collection inexpensive to preserve and straightforward to move between static hosts.