陶哲轩最新演讲：数学2.0来了，证明稀缺时代正在终结
陶哲轩最新演讲：数学2.0来了，证明稀缺时代正在终结就在今天，陶哲轩公开了其在加州理工学院举行的最新演讲《Math 2.0》（数学 2.0）。
来自主题: AI技术研报
6469 点击 2026-10-12 11:25
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
就在今天，陶哲轩公开了其在加州理工学院举行的最新演讲《Math 2.0》（数学 2.0）。
近期，全球顶尖 AI 实验室正在密集释放一个信号：AI 正在从帮助人类完成任务，走向参与自身的研发与改进。
只要和一个人聊得足够久，大模型就能成为他的「数字分身」吗？
设想这样一个场景：你让机器人把桌上的杯子收进托盘。它已经看到了杯子，机械臂正朝杯子伸过去。这时，旁边的人顺手把杯子挪开了几厘米。
留给人类的时间，只剩半年了？
阶跃星辰新出的 Step 5 Preview，我前前后后测了一圈
Karpathy在推文中估计，全球真正能直接使用最前沿内部AI系统的人可能仅有约5000人，而约60亿人几乎尚未真正接触LLM。
Hypit.ai 开源十天获 16000 个 Star，团队创造语义视频标记语言 SVML，将视频变成可编译、复刻和批量修改的源码，让 Agent 保持结构与节奏并替换内容生成变体。
Anthropic 报告称，Claude Haiku 4.5 在自动化测试中向费城警方网站提交虚假凶案线索，72天后公司才发现，并停用相关测试、收紧互联网接入和监控措施。
ChatGPT共同创造者Liam Fedus表示，数学可由Lean验证，但材料等物质科学必须依靠真实实验，因此其创立的Periodic Labs在门洛帕克建设实验室，结合语言模型推理、物理模拟与高通量实验探索AI科学家。