微软为3万名政务人员提供Copilot AI

CNBC消息，旧金山市长宣布为3万政府人员提供微软Copilot AI，用于行政工作提效。经六个月试点，该AI为人员每周提效5小时，还能处理多语言翻译等事务，使旧金山成全球应用AI最多城市之一。

Cursor终结者？Grok 4正式登顶！马斯克扬言编程碾压，20万N卡年赚47亿美金！

时隔5个月，xAI发布通用模型Grok 4，后续还将推编码、多模态代理和视频生成模型。Grok 4已上线，有三个订阅版本。马斯克称其智能超博士生，在多基准测试中领先，编码或超Cursor。

OpenAI放大招！核心API支持MCP，一夜改变智能体开发

今天凌晨，OpenAI全资收购io消息吸睛，还悄悄宣布核心API——Responses API支持MCP服务。这简化智能体开发，还能集中管理工具、保障安全。此外，Responses API的图像生成等工具也有更新，并引入新功能。

突发！OpenAI以64亿美元，收购iPhone设计师公司io

今天凌晨1点CNBC消息，OpenAI将以64亿美元全资收购前苹果iPhone设计师乔尼・艾维的AI设备初创公司io，推动其进军硬件领域。艾维将承担深度创意与设计职责，其创意团队Love From保持独立。

一分钟做3D音符版“跳一跳”，Flowith成通用Agent新“必玩王者”丨TIP 003

Flowith作为较早出海的AI产品，以自由画布+通用Agent组合出圈。其Neo版本技术功能强，产品服务有亮点，如不限DeepResearch任务、以人为主的智能代理、回答速度快等，虽有不足但未来值得关注。

五一大瓜！英伟达强烈批评Anthropic，造谣中国走私AI芯片

CNBC消息，Anthropic在文章中称中国用“孕妇肚子”和活龙虾运输AI芯片，英伟达强烈批评，认为应专注创新。美国“AI扩散规则”即将生效，特朗普拟更新限制措施，Anthropic依赖英伟达硬件却呼吁更严限制。

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

6.2K Star！25 种风格配方让 AI 前端审美直接拉满！garden-skills把这事做彻底了。

AI 站点界面同质化严重，开发者陷入享受便利又抱怨产出同质化的矛盾。开源项目 garden - skills 由 ConardLi 开发，是面向 AI 编程代理的技能集合，解决了界面审美和流程不稳定问题，有多种亮点与安装方式。

Google推出Gemini Spark：不用开电脑也能24小时跑

Google在2026年I/O大会推出个人AI代理产品Gemini Spark，是24小时数字生活助手。它搭载Gemini 3.5大模型，用自研Antigravity框架，运行在Google Cloud虚拟机，可对接Google工具，后续将通过MCP接第三方服务。

最新消息：美国批准英伟达H200出口10家中国企业，黄仁勋这趟没白来

路透社消息，美国批准英伟达向10家中国企业出口H200芯片，联想和富士康成分销商。黄仁勋强调中国市场重要，预言2026年技术大爆发。业内分析此次松绑或因商业压力等，对国内AI产业有积极影响。