Readable statements
Technical detail is retained, but the hierarchy and typography are designed for sustained reading rather than pipeline inspection.
About the library
About LMFDB conjectures
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.
LMFDB identity and knowledge
This companion project uses data and definitions from theL-functions and Modular Forms Database. The original LMFDB logois reproduced with its “BETA” overlay removed and a separate “conjectures” descriptor. Its upstream licence notice is retained.
The Knowledge library contains attributed snapshots of LMFDB knowls. Each definition links to its source revision, names its authors, and retains the CC BY-SA 4.0licence. Their formatting and internal links are adapted for this site; these adaptations retain the same licence. Project explanations are labelled separately. See the LMFDB licence information.