新闻资讯7

陶哲轩：用Claude要「人类在环」

新智元2026-03-10

AI 摘要

陶哲轩实测Claude Code，首次因指令笼统致电脑崩溃。后拆分任务、用「保姆级」指令，约半小时完成证明。他提醒人类要保持「人类在环」，拒绝过度依赖AI。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

Linus用Claude写内核性能涨3倍

本文报道Linux之父Linus Torvalds在Linux官方内核仓库新增带LLM后缀的分支，他指导Claude Code参与内核内存管理模块的代码编写、测试和文档撰写，优化后多线程读取性能暴涨3倍，还借助AI梳理十年前的旧代码，挖出3个隐藏多年的Bug，打破了Linus此前对AI的质疑。

本文报道菲尔兹奖得主陶哲轩发表《数学2.0》演讲，梳理近期AI接连攻克重大数学难题的进展，提出AI将数学带入证明过剩的新时代，警示人类不能丢失对数学的理解，呼吁人机合作增强认知。

本文带来谷歌新发布Gemini 4 Argon大模型的多场景实测，对比竞品性能价格，验证其物理推理能力，同时曝光该模型现存问题。

本文报道谷歌正式全球上线Gemini 4 Argon，详细说明了开放范围与定价规则，放出大量谷歌内部及合作方的实际应用案例，覆盖多领域，回应了此前对该模型实用性的质疑。