数学家 Daniel Litt 上线问题库,15 题仅 1 题被解,用来追踪 AI 解题进度

littmath · x · 2026-09-11

数学家 Daniel Litt 回应「让数学系教师拿 NSF 基金申请书里的开放问题当 Mathathon 赛题」的提议，表示认真支持这个玩法：他自己的 NSERC 申请书是公开的，且已把正在思考的问题放到 Litt Problems 网站上。

该库的目标是收集他个人关心的问题，作为衡量「人类与 AI 向解前进度」的标尺。每个问题包含：题面与相关历史、是否可用 Lean 形式化、趣味性与前景点评、难度猜测。目前已收录 15 题，仅 1 题（7%）被解决，每周会补充新题，任何人可在对应问题下提交解法或部分结果。