同济出手！国产AI，第一次进攻土木工程

近年来AI应用发展迅速，从「理解数字世界」迈向「改变物理世界」。海光携手同济大学推出全国首个国产千卡工科智算集群，为AI4E时代提供解决方案，助力其从实验室走向工程实践。

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

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

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

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三个有意思的能力。

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

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

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

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

马斯克终于成『AI No.1』，6大案例看实力与水分

马斯克发布Grok 4，宣称其超越OpenAI等LLM。它屠了各种榜单，但Grok系列口碑欠佳。文中通过多案例测试，展现其在各方面的表现，如编码、数学、图像等，还提到了API速度和价格。

马斯克吹牛了吗？Grok 4第一波实测出炉：既能完虐o3，也菜到数不清6根手指

马斯克称Grok在各学科达博士后水平，激起网友兴趣。博主测试显示Grok 4在多项测试中完胜o3，网友还用它写游戏、让概念可视化。不过Grok 4也有翻车表现，马斯克称其仍有改进空间。

10亿天价挖角惨遭12人连环拒，小扎钞能力失灵！OpenAI系初创0人卖身

Meta为从OpenAI前CTO初创公司挖人，开出10亿美元天价，却遭12人拒绝。同时，苹果AI团队一月内流失4员大将。此外，Meta的Llama 4发布遇挫，小扎豪掷重金重组AI部门，其AI豪赌回报成疑。