Papers
Papers here list work generated (co-authored) with the help of AI. They don’t necessarily resolve a conjecture posted as a challenge under Problems; instead, they resolve some other cryptography problem, one that might be of wider interest without being tracked here as an open conjecture. They take several forms: a precise write-up of a new result, an expository account or tutorial, a systematization of existing knowledge, or work that makes a known result more rigorous by closing a gap in a proof or tightening its statement.
Each paper carries a status badge in the same style as a conjecture’s, for now graded at the level of the whole paper (its statement, proof, and Lean formalization if any). Grading individual theorems within a paper separately, once a paper has several worth distinguishing, is a natural next step, not something done yet.
This kind of work has always mattered and has always been undersupplied, because there’s little professional reward for writing a clear tutorial, consolidating scattered results, or painstakingly re-checking someone else’s proof — the incentives point toward new results, not toward the unglamorous scholarship that consolidates and secures them. What’s changed is the cost: AI makes this kind of careful, precise write-up cheap enough to do routinely rather than occasionally, which is exactly why it belongs on a site like this.