陶哲轩预言「实验数学」爆发:AI 将绘出数学难度地图
haider1 · x · 2026-11-04
数学家陶哲轩在 UCLA「Math 2.0」演讲中表示,「实验数学的爆发」即将到来:数学几乎一直纯理论,因为在纸上证明比收集百万级数据点容易;很快人们将拥有数学各领域难易程度的地图。
- 他强调证明数量增加不等于理解加深,需要更好的问题、更深的洞察和开放的基础设施。
- 引用帖还介绍了 Open Math Model 平台:基于开源前沿模型(含 Kimi K3、DeepSeek、GLM 等),为数学研究提供 agent 并行探索、Lean 形式化证明、LaTeX 论文协作,内置 100+ 科学计算工具,数据主权归数学社区。
- 演示案例:agent 验证「前 n 个奇数之和为平方数」——Python 数值验证 + Lean 归纳证明 + 自动写入论文。
「编程与Agent」频道最新
- CoworkOS 开源：三层协作 Agent 框架，Qwen3.6 自训练提升 9.76 分 — KyeGomezB · 2026-11-04
- 基于 Claude Code 的求职框架爆火:69k 星自动改简历写求职信 — adnan_hashmi · 2026-11-04
- NeurIPS 论文 DOLORES:免训练让 8B 模型击败同家族 32B — StellaLisy · 2026-11-04
- Berkeley 团队开源 StarTrail:深研检索基础设施与论文搜索工具包 — CShorten30 · 2026-11-04
- Baseten 一周三连发:Grid 网关、Sandboxes 沙箱与 Loops 强化学习训练全部上线 — baseten · 2026-11-04
- 港中深推出 DuplexAgent-RSI：语音助手可中断旧任务异步执行新指令 — jiqizhixin · 2026-11-04