Litt Problems
To submit a solution or partial result, please navigate to the problem and post a comment, making sure to follow the forum rules. 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.
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…
saved by
related reading
- Erdős Problemserdosproblems.com
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com
- Xena | Mathematicians learning Lean by doing.xenaproject.wordpress.com
- What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
- ProblemsILike.comdaniellitt.com
- Formalizing Fermat's Last Theoremanthropic.com
- FLT: Anthropic has beaten me to itxenaproject.wordpress.com
- Announcing FrontierMath Erdősepoch.ai
- What sort of maths are LLMs good at?gowers.wordpress.com
- The Jacobian Challenge Retrorkirov.github.io
- On Leetcodeplanetbanatt.net
- A recent experience with ChatGPT 5.5 Pro | Gowers's Webloggowers.wordpress.com