※この記事はアフィリエイト広告を含みます
AI自主揭示数学“博士级”！特伦斯·陶谈论“巨型数学”时代的震撼
发生了什么？新闻概览
- 自主生成研究成果: Google DeepMind的实验性AI系统“Aletheia”自主生成了在算术几何中结构常数计算的博士级未解问题，达到可出版的研究成果水平。
- 奥林匹克级推理能力: Google DeepMind和OpenAI的AI系统在解决问题的能力上已达到国际数学奥林匹克（IMO）金牌获得者的水平。
- “巨型数学”的提倡: 数学界的瑰宝特伦斯·陶教授（UCLA）预见了人类与机器共同应对复杂问题的新数学时代。
为什么这很重要？值得关注的要点
- 摆脱“概率鹦鹉”: 传统的大型语言模型（LLM）只是互联网信息的再加工，而最新的系统已进化为能推导未知数学真理的“高级推理机器”。
- 研究过程的剧烈缩短: 曾经需要数年的博士级模拟或近似计算，借助AI的支持可能在数天甚至数小时内完成。
- 证明验证成本的转变: 自50年前的“四色定理”计算机证明以来，AI承担人类无法验证的大规模计算的比重正在加速。
🦈 鲨鱼视角（策展人的观点）
此次新闻最令人振奋的，是DeepMind的“Aletheia”所取得的具体成果！在算术几何这一人类仅有少数天才能够理解的领域，自主生成“博士级论文”的事实，意味着AI不再是“计算机”，而是“研究伙伴”。
文章中提到的“数学家的苦恼与喜悦”——在沉默思考数小时后，突然一切都连接起来的那一瞬间——AI的快速解决方案让人担忧。但正如特伦斯·陶所说，这不是“人类vs AI”的斗争！AI快速处理基础证明和复杂计算后，人类可以更加深入、创造性地探索“巨型数学”的海洋！
接下来会怎样？
AI将承担部分数学直觉，数学家的角色将转向“提出问题”和“对AI生成的证明进行最终审判”。与此同时，人类将面临如何理解AI生成的过于复杂证明以及如何将其纳入教育的新挑战。
鲨鱼视角的一句话
从数学的深海中，AI这条巨大的鱼捕捉到了惊人的真理！为了不被抛在后头，我们得全力以赴地继续游泳！🦈🔥
术语解释
-
算术几何: 尝试利用几何学的性质（形状和空间）来解答数论（数字性质）问题的极高级数学领域。
-
Aletheia: Google DeepMind开发的专注于数学推理和研究的实验性AI系统。
-
四色定理: 任何地图都可以用四种颜色进行涂色，使得相邻的区域不至于涂成相同颜色。该定理在1976年通过计算机证明，成为历史性的转折点。