顶尖数学家担心 AI 正让数学领域变笨,并警告其他领域将是下一个

25 位菲尔兹奖得主联合发声,警告 AI 公司把数学题当作刷榜基准,正在伤害数学真正追求的理解与洞察,并认为这套逻辑很快会蔓延到其他知识型行业。

25 位菲尔兹奖得主联合发声,警告 AI 公司把数学题当作刷榜基准,正在伤害数学真正追求的理解与洞察,并认为这套逻辑很快会蔓延到其他知识型行业。

开发者 Leto Bao 在 X 上发帖称程序员将被 AI 取代,未来属于“AI + 金融/医疗/工业”的行业人,这条帖子浏览量超过 11 万,引发评论区关于 AI coding 与行业 Know-how 谁更稀缺的争论。

社交平台账号 @AsiaFinance 于 9 月 12 日发布消息,称月之暗面创始人杨植麟及团队 15 名成员被带走调查,并指 Anthropic 指控多家中国大模型公司通过 API 调用 Claude 进行模型蒸馏。相关传闻目前尚未获得当事公司或官方证实。

美国财长贝森特在公开场合称中国人工智能“注定失败”,理由是它由政府规划驱动,而美国 AI 是市场自发形成。这条表态把中美 AI 竞争从技术层面拉到了体制叙事层面,但评论区大量反驳也说明,它并未提供可核查的技术论据。

Anthropic 于 9 月 10 日发布报告称,已封禁多个据信与中国地方公安、国安系统有关的 Claude 账户,指其利用模型收集海外宗教团体、在叙维吾尔人及华侨华人团体信息;9 月 11 日外交部例行记者会上,发言人毛宁回应“不了解具体情况”,并重申中国坚持人工智能向善发展、反对歪曲事实的攻击抹黑。

蚂蚁集团将在 QCon 上海站分享其 AI Agent 大规模企业级实践,核心是解决 Agent 自主执行任务时面临的隔离、冷启动、状态保持和治理难题,并披露了万核级资源峰值、千万级日请求的生产规模数据。

DeepSeek 在几乎没有迁移缓冲的情况下,把 V4 Pro 的请求全部路由到性能更强、价格更低的 V4.1 Flash,引发开发者对模型切换权的强烈反弹。争议焦点不是新模型好不好,而是平台能否单方面替用户做版本决策。

三项独立基准测试发现,在同一模型下仅更换 AI 编程智能体框架,完成同一任务的 Token 消耗和成本可相差数十倍甚至 70 倍。模型不再是唯一的成本变量,框架本身正在成为账单差异的主要来源。

前 Google DeepMind 研究员 Ilia Shumailov 与 Alexander Panfilov 发现,前沿模型的加密推理块可在同系列大小模型间跨用户、跨会话重放,从而被解码出隐藏的思考内容;他们还发现仅用两个 Opus 推理 Token 预填充,就能明显改变 Kimi-K3 的答案风格。

Cursor 推出名为 Projects 的新工作方式,用单一常驻线程中的协调者 Agent 替代"每个任务开一个对话"的模式,支持长期运行、主动调度子 Agent 并持续改进。