6.9
深览指数
热点智搜··AI 生成
AI五天抢发两年数学研究，学术体系面临挑战
卡耐基梅隆大学博士生两年的数学成果被硅谷初创公司 AI 系统 5 天抢发，事件标志数学研究效率的质变。文章揭示技术路径为“LLM 生成逻辑骨架 + Lean 验证”，并分析了其对博士培养、成果归属、同行评审、人机协作模式的连锁冲击。菲尔兹奖得主陶哲轩、高尔斯等划定人类核心价值在于“消化证明”与“提出真问题”。适合关心 AI 对科研范式影响、学术生态演进的读者。原文 ↗
核心观点
- ▍AI 系统在特定数学难题上已实现数天级产出，打破了传统学术的“时间复利”法则，迫使人类数学家从“解题者”转向“逻辑指挥官”和“问题定义者”。
- 01硅谷初创公司使用 AI 系统“Gauss”在 5 天内完成了卡耐基梅隆大学博士生团队耗时两年的数学研究，且抢先发表。
- 02该 AI 系统采用“大语言模型生成逻辑骨架 + Lean 形式化验证工具兜底”的技术组合，确保产出正确性。
- 03为解决此问题，AI 系统消耗了超过 10 万美元的算力资源，解释为何此类突破多由商业公司主导。
- 04菲尔兹奖得主 Timothy Gowers 测试发现，GPT-5.5 Pro 在不到两小时内独立产出了博士级原创数学成果。
- 05陶哲轩提出“金字塔理论”，认为证明生成与验证已被 AI 自动化，人类不可替代的价值在于最顶层的“证明消化”——理解深层结构并提炼方法论。
- 06数十位数学家联合发表《莱顿人工智能与数学宣言》，要求披露 AI 使用情况，并呼吁保护原创成果不被商业公司无偿掠夺。
反方 / 局限
- — AI 的高效率依赖高算力成本（单问题超 10 万美元），目前仍由少数商业公司主导，并非普遍可用，这可能限制其颠覆范围。
- — 陶哲轩的“金字塔理论”暗示，人类核心价值“消化证明”尚无法被 AI 替代，这一防线是否能在未来被突破，文章未给出明确判断。
卡耐基梅隆大学哈里哈兰GaussLeanTimothy Gowers陶哲轩GPT-5.5 Pro莱顿人工智能与数学宣言arXiv