Tao: Open math problems being non-renewably mined by AI
491 points
• 5 days ago
• Article
Link
数学正面临一场愈演愈烈的危机：那些富有产出的开放性问题正以不可再生的方式被耗尽。尽管可能提出的数学问题无穷无尽，真正能够揭示深刻见解或建立广泛联系的，只有一小部分。识别这些有潜力的问题是一项微妙且主观的工作，需要对该领域历史性难度格局的把握。在这个语境下，难度本身成了一种导航工具：太简单、几乎不可能或与主流理论脱节的问题，通常不如那些处在知识边界、能够催生后续研究的问题有价值。
历史上，技术和方法论的进步扩展了可达的研究边界。虽然这些工具降低了某些具体任务的难度，但它们也在"抹平"研究的地形，可能掩盖原本帮助数学家发现下一批有前途问题的结构。在当下的人工智能时代，这种影响被进一步放大：对"AI 能办到"与"AI 难以触及"之间缺乏清晰、稳定的界限。再加上许多 AI 公司对失败结果和内部流程守口如瓶，研究者面对的是一个被肆意开采却缺乏传统标记的地形，学界难以区分有意义的发现和靠蛮力耗尽而来的"成果"。
这带来一种危险的激励机制：识别有前途的问题变得比提出解决方案本身更为稀缺和珍贵。仅仅一则对某问题的兴趣传闻，就可能触发大规模的 AI 驱动行动，在人类学者尚无机会深入参与前，就将该研究领域快速"平整"。若此趋势持续，数百年来的开放科学传统可能被逆转，数学家被迫将研究方向保密，长期来看这将损害学科的未来，也会打击早期研究者的积极性，让他们觉得自己的工作被自动化、快餐式的产出所贬值。
为维持数学生态，学界必须从单纯追求解答的模式，转向重视识别洞见的模式。不加选择地使用自动化工具去挖掘解答，会以牺牲长期进步为代价换取短期成果。更可持续的做法是为数学贡献建立社会与职业规范——就像现代食物银行会拒绝随意或低质的捐赠，而只接收真正需要的物资那样。关注一个解法对相邻问题揭示了什么信息，以及为何该问题最初如此困难，才能确保学科继续繁荣，而不是被自己的工具吞噬。
Mathematics faces a growing crisis as the collection of fruitful open problems is being depleted in a non-renewable fashion. While the field of possible mathematical questions is infinite, only a small subset possesses the potential to reveal deep insights or connections. Identifying these promising problems is a subtle, subjective task that relies on a historical understanding of a field's difficulty landscape. In this context, difficulty acts as a navigational tool. Problems that are too easy, too impossible, or disconnected from broader theory are generally less valuable than those that lie at the edge of current knowledge, where they can serve as productive catalysts for further research.
Technological and methodological advancements have historically helped mathematics by enlarging the sphere of what is reachable. While these tools reduce the difficulty of specific tasks, they also flatten the landscape, potentially obscuring the geometry that helps mathematicians identify the next set of fertile questions. In the current era of artificial intelligence, this effect is amplified by the absence of clear, stable boundaries between what is AI-feasible and what remains AI-hard. Because AI companies often withhold their negative results and internal processes, researchers are left with a landscape that is being aggressively mined without the traditional markers that once allowed the community to distinguish between meaningful discovery and brute-force exhaustion.
This phenomenon creates a dangerous incentive structure where identifying a promising problem has become more precious and scarce than the solutions themselves. The mere rumor of interest in a problem can trigger mass AI-driven efforts that flatten the research area before human scholars have the opportunity to engage with it properly. If this trend continues, it threatens to reverse centuries of open science by forcing mathematicians into secrecy to protect their research directions, ultimately causing long-term damage to the future of the field and discouraging early-career researchers who feel their work is being devalued by automated, rapid-fire output.
To sustain the mathematical ecosystem, the community must transition from a model that prioritizes raw solutions to one that values the identification of insights. The indiscriminate use of automated tools to extract solutions creates short-term results at the cost of long-term progress. A more sustainable approach would involve establishing social and professional standards for mathematical contributions, much like a modern food bank that rejects arbitrary or low-quality donations in favor of what is truly needed. By focusing on what a solution reveals about neighboring problems and why it was difficult in the first place, mathematicians can ensure that the field continues to flourish rather than being consumed by its own tools.
420 comments • Comments Link
• 有意义的数学进展依赖于人类的发现过程，这包括直觉、社区共识以及识别具有启发性的问题。
• 人工智能驱动的高阶数学解法有变成"表面正确却晦涩难懂"的产物的风险，这类结果可能绕过人类获得真正洞见或发展新理论框架所需的努力。
• 所谓开放问题的"稀缺性"是一种社会建构：尽管数学空间无限，但那些既易于入手又能带来认知回报的问题子集是有限且被人为培育的资源。
• 历史上数学研究更多是一种"桌面式"的个人追求，但人工智能的介入可能迫使其向"大科学"模式转变，把侧重点从个人精通转向协调一致、自上而下的目标设定。
• 证明只有在对人类可读时才对学术共同体真正有价值，因为其主要收益在于提供可复用的方法和更深入的理解，而不是单一的结论本身。
• 对工作被取代以及数学研究目标丧失的恐惧，反映了类似于国际象棋或工程领域的历史性转型，在那些领域中 AI 工具已从根本上改变了工作的性质。
• 过度依赖人工智能进行结果提取存在引发"模型崩溃"式反馈循环的风险：人类专业能力退化，导致无法审计或在日益复杂的 AI 输出之上继续构建。
• 一个重要担忧是，AI 生成的证明可能缺乏将不同概念连接起来的叙事结构，从而使结果被孤立，阻碍跨领域的发展与整合。
• 围绕数学成就的经济与社会声望正受到冲击，这引发了那些以传统研究方式获得身份认同与职业目标的人的生存焦虑。
• 从纯数学转向以结果为导向的应用任务或许不可避免，但这种转向会危及那些短期内难以显现效用的基础真理的长期发现。
讨论的核心是在人工智能即时解决长期复杂数学问题的能力与这一变革对数学社会与智力生态系统带来的威胁之间的紧张关系。许多参与者认为，数学不仅仅是找到"正确"的答案，更关乎发展方法、界定概念以及获得能推动后续发现的人类层面的洞见。普遍的担忧是，当前朝向 AI 驱动的"解法提取"竞赛，可能会砍断研究领域的根基，留下难以阅读的证明而不为人类进步提供可走的路径。有人认为 AI 会自然而然地推动领域向更高效、更具应用性的方向积极演进，但也有人担心，如果消解了斗争与协作这些基础过程，人类的智力能力和科学进步的质量将会下降。 • Meaningful mathematical progress relies on the human process of discovery, which involves intuition, community consensus, and the identification of insightful problems.
• AI-driven solutions to high-level math problems risk becoming "slop"—technically correct but opaque artifacts that bypass the human effort required to gain genuine insight or develop new theoretical frameworks.
• The "scarcity" of open problems is a social construct. While the mathematical space is infinite, the subset of problems that are both approachable and cognitively rewarding is a finite, cultivated resource.
• Mathematical research has historically functioned as a "tabletop" pursuit, but AI intervention may force a transition toward "big science" models, shifting the focus from individual mastery to coordinated, top-down objective setting.
• Proofs are only truly valuable to the community if they are human-readable, as the primary benefit of a solution is the reusable technique and deeper understanding it provides, rather than the raw result.
• The fear of job displacement and loss of purpose in mathematics mirrors previous transitions in fields like chess or engineering, where AI tools fundamentally changed the nature of the work.
• Relying on AI for result extraction risks creating a feedback loop of "model collapse," where human expertise degrades, making it impossible to audit or build upon the AI's increasingly complex outputs.
• A significant concern is that AI-generated proofs may lack the "narrative" structure that helps mathematicians connect disparate concepts, effectively isolating results and hindering cross-domain advancements.
• The economic and social prestige surrounding mathematical achievement is being challenged, causing existential concern for professionals who derive their identity and purpose from traditional research methods.
• Moving away from pure mathematics toward applied, outcome-oriented tasks might be inevitable, but this shift poses risks to the long-term discovery of fundamental truths that lack immediate utility.
The discussion centers on the tension between the immediate capability of AI to solve long-standing, complex mathematical problems and the resulting threat to the social and intellectual ecosystem of the field. Many contributors argue that mathematics is not merely about finding a "correct" answer, but about the development of techniques, definitions, and human-level insights that foster further discovery. There is a palpable concern that the current race toward AI-driven "solution-extraction" risks clear-cutting this field of research, leaving behind unreadable proofs that offer no path for human advancement. While some suggest that AI will naturally force a positive evolution toward more productive, applied work, others fear that eroding the foundational process of struggle and collaboration will lead to a decline in the quality of human intellect and scientific progress.