Legend
Weakest links
Unformalized papers that the most other papers rely on, directly or through a chain. Errors here would travel furthest.
Errata & community checks
The release's own README warns that some unformalized results "could have issues". This board collects what readers find: suspected errors, proof gaps, mismatches between a Lean statement and the paper, and independent confirmations. Every report is a public issue in the ProofSearch/errata repository, so it has a permanent link, a discussion thread and an author.
Board
Most-discussed papers
Caveats the repository states
Ask the catalogue
Ask in plain language. Answers are written only from this release's catalogue: titles, abstracts, verification status, Lean scope notes and the citation graph. Every answer lists the papers it drew on, and no account is needed.
Your conversations
Model
Try asking
How answers are built
ProofSearch finds the papers and families that best match your question and hands them to the model with instructions to answer only from them. The papers it used are listed under every answer. Language models can still misread things, so open the cited paper before relying on an answer.