从「问题即 proxy」看 AI 攻数学：概念基建成熟处 AI 才能碾过去

_onionesque 提出判断框架：若问题已被多次尝试、其邻域被充分形式化，AI 就有机会“磨穿”它。许多历史问题本身只是 proxy，用于吸引人力发展领域概念基础设施；这类已开发 eps 邻域既是矿藏，也提供通往可验证性的路径。但 AI 在“上游”概念构建上单独能做到什么仍不清楚，他好奇 AI 会如何攻击重要但相对孤立的问题。