The goal of this repository is to collect statements of problems I like, with some certificate of their interest, as a way to measure the progress of humans and AI towards solutions to questions I personally care about. I will try to add a couple such problems each week.

Format

Each problem will contain the following information:

• The problem statement
• Some brief remarks on the problem, indicating both what is known and some of the relevant history
• My sense of whether the problem statement is currently formalizable in Lean
• A brief comment on why I think the problem is interesting, how interesting I think it is, and whether or not it is likely to lead to cool new mathematics
• Some speculation on the problem's difficulty

Submitting solutions

To submit a solution or partial result, please navigate to the problem and post a comment, making sure to follow the forum rules.

Submitting problems

If you'd like to submit a problem, you should feel free to post in the forum with your submission. In this case please follow the format outlined above. I don't guarantee that I will accept it, and please don't take my refusal or lack of response personally - this is meant to be an individual and idiosyncratic list of problems I care about.