谷歌AI获IMO“唯一金牌”，硅谷夹道祝贺，奥特曼丢人又丢人

谷歌Gemini新模型获IMO官方认证金牌，用时4.5小时答对5道题，成绩获主席肯定。该进阶版搭载新思考模式，后续开放给订阅用户。这与OpenAI参赛情况形成鲜明对比，OpenAI遭质疑，研究员回应未获网友完全认可。

Claude Opus 4.7发布：更严谨的长任务处理与自我验证能力

Anthropic发布Claude Opus 4.7模型，相比4.6版处理长任务更严谨，能自我验证输出。它在视觉、指令遵循、记忆等能力上提升，企业级应用表现出色，还有新功能与安全特性，不过使用成本更高。

罕见！Meta、OpenAI、xAI联合分享了用生产环境提升LLM的最佳实践！

Meta、OpenAI、xAI联合发表成果CharacterFlywheel，聚焦在生产环境提升社交型AI对话能力。团队基于LLaMA 3.1迭代15个版本，7/8的A/B测试显示正向提升，介绍了架构、数据管道、奖励模型等内容。

两个Ilya的宿命轮回：老黄10亿美金开启赛博修仙！

OpenAI花1亿美金买Torch做「数据转接头」，想让ChatGPT成全科医生；Claude用超长文本窗口处理医学文献和数据。而NVIDIA投10亿与药企建实验室，用BioNeMo重写生命，开启药物生成新纪元。

MiniMax秀了波AI视频杂技：越看越惊艳，指令遵循太强了

MiniMax发布海螺2.0版本，能处理极端物理情况，原生支持1080P，在指令遵循、生成质量达一流水平，成本效率破纪录。此前还开源MiniMax - M1，两大底层技术创新让其成果惊艳，展现研发实力。

最新AI眼镜格局报告：百镜大战拉开序幕，阿里DeepSeek高通成幕后赢家

量子位智库推出《AI眼镜「预选赛」格局报告》，分析AI眼镜市场。从产品到技术，如大模型通义千问、DeepSeek成赢家，高通骁龙AR1受青睐，还探讨了各类型AI眼镜趋势、玩家构成等。

用AI把一段视频变成可视化网页，Google的新模型又卷飞了。

Google更新Gemini 2.5 Pro至05 - 06版。此版代码能力在WebDev Arena盲测登顶，超Claude 3.7 Sonnet；还提升视频理解，可将视频转为可视化网页，虽有产品打磨问题，但进步值得肯定。

怎么回事？刚被OpenAI收购，Windsurf就发了个自己的模型

5月初，刚被OpenAI收购的Windsurf发布AI编程模型SWE - 1，该模型针对软件工程全流程，核心是流动感知，实现人机自然交接。它有三个系列，已上线可免费使用，开发灵感源于编辑器，在评估和实测中表现良好。

本文关注vllm V1中管控模型分布式推理的Executor部分，介绍其类型、Executor-Workers架构及数据传输机制，对比V0架构优势，以单机多卡的MultiprocExecutor为例展开讲解，还提及不同数据量的传输方式及相关代码。

阿里搞了个全能解析器，文档、图片、音频、视频一锅端

阿里巴巴开源 Logics-Parsing-Omni，用一个模型统一处理文档、图片、音频、视频四种模态，输出结构化 JSON 数据。它采用三级渐进解析框架，两阶段训练策略，在自建基准上多项指标超越 Gemini - 3 - Pro。