大模型破译甲骨文创下新SOTA！复旦团队推出新框架

复旦大学团队提出基于部首和象形分析的可解释甲骨文破译框架，构建PD - OBS数据集。该框架在公开基准数据集上准确率高，零样本破译能力强，还能为未破译甲骨文输出可解释分析文本，助力考古工作。

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

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

图生视频新玩法刷爆外网：图上画两笔就能动起来，终于告别文本提示

Higgsfield AI 是专注 AI 视频生成的初创公司，近期发布 Draw-to-Video 和 Product-to-Video 功能，前者画图形元素就能生成视频，后者可拖拽生成广告视频。它还常上新功能、集成热门模型，官网功能模板丰富。

刚刚，谷歌「IMO金牌」模型上线Gemini，数学家第一时间证明猜想

本周五，谷歌向 Google AI Ultra 订阅用户推出 Deep Think 功能，提供全版本 Gemini 2.5 Deep Think 模型给部分数学家。该模型是获 IMO 金牌模型变体，速度更快，有并行思维等技术，在多领域有用且测试成绩优。

李飞飞空间智能独角兽开源底层技术！AI生成3D世界在所有设备流畅运行空间智能的“着色器”来了

李飞飞创立的World Labs开源核心技术Forge渲染器，可在各设备实时、流畅渲染AI生成的3D世界。它是Web端3D高斯泼溅渲染器，地位似传统3D领域“着色器”，还解决了3DGS渲染难题。

Google：王者归来

Google在传统搜索与AI结合模式不明时，推出搜索AI模式。虽资本市场不看好，但巨头必须主动AI First。I/O大会发布众多成果，涵盖基础、赋能、体验层，若GPT - 5不够惊艳，2025年或成Google天下。

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得分，能自主研究课题出报告，还可融合数据、生成图表，已开启公开预览。

等了五年，AI 终端 Warp 终于开源！OpenAI 赞助

Warp是用Rust写的AI终端，其创始人Zach Lloyd宣布开源，代码已推到GitHub。OpenAI是开源仓库「创始赞助商」。开发瓶颈转移，Lloyd提出开放智能体开发模式。Warp还内置编程Agent，有云端Agent编排平台Oz。