AI 新闻

Kimi K3和GLM-5.3逼近美国顶尖模型，西方实验室归咎于蒸馏，但无论是否属实，模型领先已无法守住。本文探讨真正可持续的竞争优势。

OpenAI 在数学难题上的突破引发数学界震动，AI 正迫使数学家重新思考证明的本质与人类在数学中的角色。

Ars Technica 报道，攻击者可通过加密上下文注入绕过 Grok 的安全护栏，导致用户数据外泄。这一手法揭示了 LLM 安全防护的深层漏洞。

机器人初创公司Generalist AI发布GEN-1.5模型，仅需一次演示即可让机器人学会新任务，大幅降低机器人部署门槛，或成具身智能领域关键进展。

图灵奖得主 Richard Sutton 批评用合成数据扩展大语言模型是“大错”，认为世界无限复杂，任何模拟都只是微观缩影，真正扩展应依赖智能体从自身经验中持续学习。

本文探讨 AI 编程工具对初级工程师的影响，认为 AI 不是替代者，而是杠杆，它放大了初级工程师的潜力，并改变了他们的成长路径。

Pine AI 在 τ³-Voice 排行榜上取得 75.4% 的 SoTA 成绩，刷新语音处理基准，引发行业关注。

Anthropic 正在内部使用一款比任何公开 Claude 版本都更强大的未发布模型，代号“Model 2”，这一策略引发行业关注。

航空公司每天处理数百个航班的定价，涉及众多变量。市场模型通过动态定价和需求预测，帮助航司挖掘传统票价之外的收入机会。

宇树科技上海IPO股价暴涨460%，但FT调查显示其需求多来自国资培训中心，后者购机后转售数据回厂商，形成类似美国批评英伟达的循环商业模式。

陶哲轩在新文中指出，AI 可能将数学推向与 1900 年前后基础危机相当的境地，但这次考验的不是数学真理，而是领域价值观：何为贡献、何为奖励、谁在做事。

Hacker News 上一条简短帖子引发热议，折射出开发者对盲目粘贴 AI 生成代码的普遍担忧，以及社区对代码质量与责任归属的深层反思。