英伟达挑战者，估值490亿

AI芯片初创公司Groq完成7.5亿美元融资，估值达69亿美元。它由前谷歌工程师创立，致力于打破英伟达垄断，产品能低成本维持AI性能，但在生态、大规模模型支持等方面与英伟达有差距，短期内难威胁其地位。

大基金或将领投DeepSeek？算力拐点将至

5月6日报道国家大基金正洽谈领投DeepSeek首轮融资，估值约450亿美元。大基金此前未公开投资大模型公司，此次若落地是从“半导体硬件”向“AI应用端”延伸。2025年是中国AI芯片出货量关键年份，DeepSeek-V4发布，多家国产芯片品牌完成适配，但国产芯片仍面临性能、软件生态等挑战。

连续发布两款万亿参数模型，蚂蚁 AI 来势汹汹

国庆期间大模型行业热闹非凡，各团队产品侧重不同。蚂蚁百灵大模型团队在十天内连续发布并开源两款万亿参数模型 Ling-1T 和 Ring-1T-preview，引发关注。万亿参数模型难训，国内达到此规模的屈指可数。Ling-1T 综合性能出色，应用场景广泛。蚂蚁选择开源，意在构建开放 AGI 生态。

员工吐槽“给 AI 擦屁股”更辛苦？揭秘企业 AI 提效的“悖论”与真拐点

InfoQ《极客有约》X AICon 直播探讨企业 AI 提效实战。嘉宾指出用工程化手段控制模型‘幻觉’、做好数据治理很关键。还讨论了模型使用、数据处理、提效感受、招聘标准、场景选择等问题。

深度解析 OpenClaw 在 Prompt / Context / Harness 三个维度中的设计哲学与实践

文章从Prompt、Context和Harness三个维度解析OpenClaw设计思路。Prompt工程有动态组装与文件驱动特点；Context工程含可扩展技能、上下文压缩修剪及双层记忆管理；Harness工程为模型套“马具”，保障其可控运行。

Agentic Deep Research新范式，推理能力再突破，可信度增加，蚂蚁安全团队出品

尽管LLM能力提升，但在复杂任务上受静态内部知识限制。业界提出Agentic Deep Research系统，不过现存系统有梯度冲突和奖励稀疏问题。蚂蚁安全团队提出Atom - Searcher，解决上述问题，实验效果良好。

20种机器人本体通吃！蚂蚁新一代VLA具身大脑刚刚开源了

2026 年具身智能 VLA 受关注，蚂蚁灵波发布新一代具身基座模型 LingBot-VLA 2.0，支持 20 种机器人构型，多方面能力提升，开源模型权重等，从架构、数据、后训练解决跨本体难题。

Moonshot AI发布Kimi Linear技术报告，采用混合线形注意力架构

Moonshot AI在Hugging Face发布Kimi Linear技术报告，该48B参数模型采用混合线性注意力架构，称超越传统全注意力机制。官方数据体现其优势，模型已开源，社区反应不一，MiniMax则回归全注意力架构。

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

ESLint v10 发布，但有开发者已经在考虑换 Biome 了

广泛使用的代码检查工具 ESLint 发布 v10 版本，完成架构调整，移除旧版配置系统，改进查找配置文件方式等。但生态兼容性有问题，迁移成本高，部分开发者考虑换用 Biome 等替代工具。