14000人原地被裁！亚马逊今日：打工人水深，AI机器人火热

10月28日，亚马逊约1.4万名员工收到裁员通知，占全职员工4%，超80%来自零售业务。公司业绩不错仍裁员，是为用AI增效、资源重组，还押注具身智能，或取代超50万蓝领岗位。

2025年4月17日消息，OpenAI 连发o3和o4 mini，o3为强大推理模型，o4-mini专为高效推理优化。它们能调用ChatGPT工具，可基于图像思考。OpenAI还开源本地代码智能体Codex CLI，兼容所有模型。

华为超树HTP：不写示例、不调PDDL，AI规划约束通过率飙升62.6%

文章介绍华为超树HTP，它是完全自主、可泛化的推理新范式。能让LLM在超树结构上完成规划，不依赖人工示例和外部规划器，在复杂规划benchmark上实现SOTA准确率并降低token成本，还阐述其原理、创新点及应用实例。

Anthropic刚刚宣布Claude Sonnet 4支持100万token上下文窗口

Anthropic官方公告，Claude Sonnet 4上下文窗口扩大到100万tokens，是之前5倍。能一次读懂大代码库或多篇论文，可用于代码分析、文档处理等。超20万tokens价格翻倍，现仅对Tier 4用户测试。

从大模型到多模态，图文混排Agent彻底起飞~

上周智谱多模态开源周，从GLM 4.6v到Autoglm，其图文并排使用场景很吸睛。上传PDF论文，它能生成图文混排解读文章，效果好。作者逆向原理复刻代码，还分享GLM 4.6V三个有意思的能力。

AI 3 秒给你一本书的摘要，我为什么还要花 10 小时读完

本文探讨AI时代读书投入产出比变化。指出很多书不必读完，印刷术与AI影响不同，AI降低加工成本，但认知成本省不掉。读书收益分信息和结构两部分，结构无法外包，选书能力也更重要。

企业软件底层逻辑脱胎换骨：从席位订阅到决策订阅，下一个万亿公司属于这类玩家

大模型落地进入深水区，企业级软件底层逻辑发生“脱胎换骨”变化。以特赞提出的GEA架构为例，企业软件竞争从模型能力转向认知结构，价值结构、引力中心等都在改变，软件订阅也从席位转向决策。

时隔9个月Meta全新模型Muse Spark发布：闭源，原生多模态，一发布就落后？

时隔9个月，Meta推出Muse家族首款大模型Muse Spark，原生多模态推理，但能力表现一般，编程领域落后于opus 4.6和GPT 5.4等。它有沉思模式，致力于成个人超级智能，技术亮点多，性能高效。

统计可控数据合成！新框架突破大模型数据生成局限，麦吉尔大学团队推出LLMSynthor

麦吉尔大学团队提出新方法LLMSynthor，让大模型成结构感知的数据模拟器，为隐私敏感、数据稀缺场景生成不泄密的高质量替代数据。它通过结构推理、统计对齐等步骤实现，有理论保障，多场景实测效果佳。

因为GPT-5，这群人决定在Reddit上起义。

OpenAI上线GPT - 5时下架旧模型，引发用户不满。在Reddit等社区，用户掀起“还我GPT - 4o”运动，大媒体跟进。奥特曼改口，GPT - 4o回归部分付费用户，免费用户需充值。开发者与用户存在认知鸿沟。