Mathematician Daniel Litt Launches Problem Repo to Track Human vs AI Progress: 15 Problems, 1 Solved
littmath · x · 2026-09-11
Responding to a joke proposal that math faculty should offer their NSF grant-proposal problems for a student Mathathon, Daniel Litt says he non-ironically endorses the idea: his latest NSERC proposal is public, and his open problems live on the Litt Problems repository.
The repo collects problems he personally cares about as a yardstick for measuring how humans and AI progress toward solutions. Each entry includes the problem statement with history, whether it can be formalized in Lean, commentary on interest and difficulty. So far 15 problems are listed, only 1 (7%) solved, with new problems added weekly and open submissions for solutions or partial results.
More from AGI Musings
- Adam Marblestone's Podcast Reading List: Evolution of Intelligence to Digital Minds — KordingLab · 2026-09-11
- Superintelligence will be maximum good, not stupid or evil, argues Patterson — davidpattersonx · 2026-09-11
- Should AI models be taught morality? Breakout incidents expose missing ethical training — Pfungus_ · 2026-09-11
- SoftBank's Masayoshi Son predicts 100 trillion self-replicating AIs: "humans' era as top life form is ending" — Puzzleheaded-King584 · 2026-09-11
- We are witnessing the unreasonable effectiveness of inference-time scaling — sqcai · 2026-09-11
- The AlphaFold lesson: AI-solved math may mean fewer mathematicians needed — kiki-le-koala · 2026-09-11