Oxlint 1.0 稳定版发布：基于 Rust 的 JavaScript 静态检查器

Oxlint是基于Rust的JavaScript和TypeScript静态检查器，其1.0稳定版发布。它有快速检测、规则覆盖广等特点，性能比ESLint高50 - 100倍，能处理多文件规则，开发者反馈积极。

ICCV 2025 | RobustSplat: 解耦致密化与动态的抗瞬态3DGS三维重建

3DGS技术成研究热点，但现有方法在含动态物体场景建模精度不足。中山大学等研究者提出RobustSplat，有延迟高斯生长和尺度级联掩码引导两大核心设计，实验显示其在多指标上领先基线方法。

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

1.5B参数！支持本地实时语音转录

Liquid AI发布首个端到端音频基础模型LFM2 - Audio - 1.5B，参数1.5B，能在本地设备处理高质量端到端音频任务。它是统一多模态模型，支持两种生成策略，多种应用场景，虽仅支持英文但性能出色。

谷歌掀桌：深度研究智能体进入自动驾驶时代

4月末谷歌DeepMind推出两款基于Gemini 3.1 Pro的AI研究智能体，标准版重速度，增强版求详尽。Max版在多测试获SOTA得分，能自主研究课题出报告，还可融合数据、生成图表，已开启公开预览。

马斯克被曝合并SpaceX和xAI！估值1.5万亿美元，左手火箭右手AI

路透社消息，马斯克正推进SpaceX和xAI换股合并，正值SpaceX计划今年晚些时候上市前夕。交易落地后，火箭发射能力与Grok模型打通。SpaceX估值8000亿美元，xAI达2300亿美元，合并后将成超级联合体。

通往通用人工智能的关键一步？DeepMind放大招，3D世界最强AI智能体SIMA 2

Google DeepMind发布SIMA 2，这是能在虚拟3D世界自主游戏、推理和学习的通用AI智能体。它集成Gemini模型，从指令跟随到主动认知跃进，泛化性能提升，还具备自我提升能力，为AI和机器人技术发展提供新路径。

英伟达发布物理AI和机器人顶级开发平台Nvidia Jetson Thor

英伟达官网发布专为物理AI和类人机器人打造的顶级平台Nvidia Jetson Thor。其AI计算能力强劲，相比NVIDIA AGX Orin性能和能效大幅提升，硬件配置、存储、多媒体处理及相机支持等方面表现出色，能应对复杂场景。

宇树上市：王兴兴的十年非共识｜甲子光年

2026年宇树科技成功上市，创始人王兴兴创业十年有诸多“非共识”观点。如高性能机器人不意味昂贵，堆数据难带来具身智能，AI强对硬件要求或降低。如今宇树成行业共识，也面临新挑战。

GitHub连续霸榜，难怪别人的图表这么高级优雅！

作者让AI画系统架构图效果不佳，朋友推荐diagram-design项目。它是给Agent用的出图技能包，能让AI生成编辑级质量图表，有多种图表类型，具备诸多亮点功能，还介绍了安装使用方法。