ProblemsILike.com — Daniel Litt
Announcing a new project: problemsilike.com , a website collecting open problems that I, personally, like, with comments on their context, difficulty, and interest. The goal is to track progress on mathematical questions that I think are important, and to measure human understanding of these quest
Announcing a new project: problemsilike.com, a website collecting open problems that I, personally, like, with comments on their context, difficulty, and interest. The goal is to track progress on mathematical questions that I think are important, and to measure human understanding of these questions, as well as the usefulness of AI tools in helping to resolve them. It is also a step for me towards thinking about what mathematics, and the dissemination of mathematics, will look like in a world of “proof abundance,” as Terence Tao put it, where generating proofs may become easier than…
saved by
related reading
- Notes from the front - by Michael Harris - Silicon Reckonersiliconreckoner.substack.com
- Why the Legendary Erdős Problems Are Falling to AI | Quanta Magazinequantamagazine.org
- Declaration — Math and AImathandai.org
- Announcing FrontierMath Erdősepoch.ai
- Shtetl-Optimized >> Blog Archive >> Dispatches from the possibly last days of human relevancescottaaronson.blog
- What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
- Erdős Problemserdosproblems.com
- A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com
- [2608.16753] Mathematics in the age of AIarxiv.org
- An OpenAI model has disproved a central conjecture in discrete geometry | OpenAIopenai.com
- The fall of the theorem economydavidbessis.substack.com