- xAI 更名为 SpaceXAI 后密集离职，预训练负责人庄钧堂等多名员工昨日宣布离职，过去一年离职超 80 人
- xAI 即将推出桌面编程应用 Grok Build，对标 Claude Code 和 Codex
- 浙大校友王宜平借助自研 AI 框架，将拉姆齐数 R(3,17) 下界从 92 提升至 93，终结 32 年学术僵局
- 美国 IT 行业四月失业率升至 3.8%，Meta、耐克、Snap 等科技公司裁员，AI 成为裁员主因
- Meta 推行员工电脑监控政策追踪所有操作，被指侵权，裁员 10% 将于 5 月 20 日启动
xAI 人事震荡：核心高管接连离职，SpaceXAI 新品布局加速
昨日，xAI 预训练负责人庄钧堂通过社交平台宣布离职。庄钧堂在 xAI 任职两年，主导了 Grok 多代模型的预训练工作，并负责 Grok 在 X 和 Tesla 上的语音模型及企业 API 模型的预训练。在此之前，他在 OpenAI 参与过 GPT-4 技术报告撰写，是 GPT-4o 和 DALL-E 3 的核心开发者，曾提出 GPT4-Turbo 128k 算法。
值得注意的是，就在庄钧堂宣布离职同一天，多名 xAI 员工相继发出离职消息。三天前马斯克刚宣布 xAI 不再独立运营，并入 SpaceX 更名为 “SpaceXAI”。据统计，过去一年内 xAI 可查证的离职员工已超过 80 人，11 位联创已于今年 3 月底全部清零。目前 Cursor 团队员工已进驻 xAI 办公室，旨在解决人员流失困境。
尽管人事动荡，xAI 的产品更新并未停滞。昨日 Grok 网页端短暂出现 “Grok 计算机” 按钮，泄露了即将发布的桌面编程应用 Grok Build。该应用将支持 macOS、Linux 和 Windows，主打智能体自主编程工作流，直接对标 Anthropic 的 Claude Code 和 OpenAI 的 Codex。底层架构支持插件、MCP（Model Context Protocol）、技能模块及各类连接程序，可覆盖开发者各类开发任务场景。若按现有版本上线，搭载的最强模型将是近期内测的 Grok 4.3 抢先体验版。
数学界突破：拉姆齐数 32 年僵局被打破
浙大校友王宜平借助自研 AI 框架 ScaleAutoResearch-Ramsey，成功将拉姆齐数 R(3,17) 下界从 92 提升至 93，终结了自 1994 年以来长达 32 年的学术僵局。同时，R(4,15) 下界也被刷新至 160。
拉姆齐数被视为组合数学的核心难题，本质是寻找 “无序中必然出现秩序” 的临界值。以 R(3,17) 为例，它等价于一个派对问题：无论社交关系如何随机，总能找到 3 人互相认识的小圈子，或 17 个完全互不相识的人，这个最小人数即为该数的精确值。该研究成果与图论、算法设计、网络优化等领域直接关联，在 AI 和通信网络中均有广泛应用。
王宜平的突破关键在于逆向思路：传统方法先构造无三角形的图再压缩独立集规模，但始终卡在 92 个顶点；王宜平反其道而行，先构建含少量三角形的图，再通过 AI 的复合删除修复策略逐步消除。该框架仅使用 Claude Code、Codex 和一台 CPU 服务器即完成全部攻坚，成果已全量开源。
王宜平本科毕业于浙江大学竺可桢荣誉学院，现为华盛顿大学博士生、xAI 技术团队成员。此外，中科大马杰教授团队也在拉姆齐数研究中实现了 78 年来首次指数级理论改进，相关成果发表于数学四大顶刊之一《Inventiones Mathematicae》。
AI 驱动裁员潮持续，Meta 员工遭监控与裁员双重压力
据咨询机构 Janco Associates 数据，美国 IT 行业失业率从 3 月的 3.6% 升至 4 月的 3.8%，单月减少 1.3 万个岗位。多家科技公司明确表示 AI 是裁员主因：
- Meta 宣布裁员 10%（约 8000 人），旨在为 AI 投资腾出资金
- 耐克裁员 2%（约 1400 人），技术部门为重灾区
- Snap 裁员 16%（约 1000 人），提升运营效率
与此同时，Meta 推行员工电脑监控政策：追踪员工输入内容、鼠标轨迹、点击位置及屏幕浏览内容，用于训练 AI 模型学习 “人们如何用电脑完成工作”。Meta 首席技术官明确表示 “没有退出选项”，引发员工强烈反对。扎克伯格要求 7.8 万名员工全面使用 AI 工具，并将使用情况纳入绩效考核，裁员定于 5 月 20 日启动。
更多动态
AI “买家秀” 误导消费者：央视调查发现，电商平台评论区出现用 AI 生成的精美 “买家秀”，消费者难以识别真伪。律师指出商家行为涉嫌违反《电子商务法》和《消费者权益保护法》，平台审核机制存在漏洞。
昆仑万维方汉谈 AI 订阅费：昆仑万维董事长方汉表示，普通人每月花 100 元左右订阅 AI 服务就像交水电费，“至少花 100 元在 AI Token 上才不会掉队”。他认为白领是受 AI 冲击最大的人群，工科领域短期难以被取代。昆仑万维 2026 年 Q1 营收 25.7 亿元，同比增长 45.69%。
豆包手机前景堪忧：方汉直言豆包手机 “出生第一天就注定失败”，因缺乏渠道已被所有手机厂商封杀。他认为智能汽车也非大渠道，因为人均每日用车时长不足 1 小时。
浙大联合腾讯提出 AdaMARP 框架：浙江大学联合腾讯优图实验室提出自适应多智能体交互框架 AdaMARP，用于解决大语言模型在角色扮演任务中沉浸感不足、叙事结构静态的问题，已被 ACL 2026 接收。该框架通过四通道消息格式（Thought-Action-Environment-Speech）和场景管理器，实现多智能体协作驱动的动态叙事。
