📔 笔记整理 · 🌱 种子 · 图例见 本站的诚实规则
数学正在从“答案稀缺”进入“可信理解、问题选择和意义解释稀缺”的时代。
2024 年，DeepMind 的系统达到 IMO 银牌水平；2025 年，Gemini Deep Think 在规定时间内用自然语言达到 IMO 金牌水平；2026 年的研究代理开始在专家指导下处理专业研究问题。
由此推演几个判断：
- 证明生产将变得廉价，验证成为瓶颈
- 人类可能先知道“它是真的”，再理解“为什么”
- 数学家的价值将从爬阶梯转向定题
- 数学会更像实验科学
- 数学教育的目标必须改变
- 科学发展的上限可能从人类思考速度转向社会吸收速度
这是一颗种子：大模型在数学领域的突破速度，已经超越了人类理解它的速度。