陶哲轩:AI 正在终结数学的浪漫时代
菲尔兹奖得主陶哲轩在最新采访中表示,AI 正在终结数学的浪漫时代与英雄时代,数学界正从证明稀缺走向证明充裕。
选题角度:陶哲轩在采访中谈AI批量产出证明后数学界理解与人才培养的困境,适合做热点评论,抓他批评集中发布缺乏沟通、年轻人项目失去发表空间的观点。
菲尔兹奖得主陶哲轩在最新采访中表示,AI 正在终结数学的浪漫时代与英雄时代,数学界正从证明稀缺走向证明充裕。
选题角度:陶哲轩在采访中谈AI批量产出证明后数学界理解与人才培养的困境,适合做热点评论,抓他批评集中发布缺乏沟通、年轻人项目失去发表空间的观点。
DeepSeek 或将下场做机器人,大概率与宇树科技合作。该消息来自抖音「DeepSeek」相关视频,以话题标签 #DeepSeek #宇树科技 #机器人 形式传播,目前尚无官方确认。
苹果发布会正失去“科技春晚”光环,AI 开发者大会成为新的流量中心,但 OpenAI 2026 年 9 月的 DevDay 已显露新品增量有限、信息提前泄露等成熟发布会问题。文章认为,看懂 AI 进步应跳出发布会,关注 token 价格、任务综合成本、Agent 自主试错与边用边学等指标。
开发者吐槽Claude、GPT等模型在Coding场景下输出"15/15全绿""单腿哑火"等黑话,被指是Coding过拟合与CoT压缩Token所致,穴居人式思维链可省70% Token消耗。GitHub上教AI说黑话的CaveMan Skill已获104K星星,2019年的文言编程语言wenyan-lang也已有20K星。Gemini因排版清晰、语言自然成为少数仍能正常沟通的模型。
DeepSeek 公开的 KV cache 优化正被西方实验室采用:其 MLA 架构将缓存压缩约 15x,DeepSeek-V4.1-Flash 借助 CSA2、跨层缓存复用与 FP4 缓存把全局 KV cache 降至每 token 890 bytes。
量子位梳理了近期多位一线AI研究员的离职声明与风险警告。从Google DeepMind离职的AI安全研究员Bilal Chughtai称AI有可能终结所有人,留给人类阻止的时间或许不多;27岁的Jacob Coxon宣布从Anthropic离职,点名OpenAI和Anthropic都没有负责任地行事,该帖已有1.71亿次浏览。
OpenRouter 周 token 消耗量自 2025 年 1 月以来从 0.5 万亿激增至 126.2 万亿,涨幅超 25000%。这一数字更多反映 token 指标的膨胀而非实际使用量增长:推理模型会生成大量"思考"token,未优化的智能体系统更是消耗惊人。