头部科技
国产AI智能体竞逐海外！Manus推出数据分析师、思维导图，Genspark上线AI表格、幻灯片
通用AI智能体Manus和Genspark正在快速发展。前者推出数据分析师、思维导图功能；后者上线AI表格和幻灯片创作。两者都在测试市场应用的爆点，并面临售后服务跟不上等问题。
OpenAI升级AI编码能力！深度研究代理打通GitHub，Codex支持智能体循环分析改进
OpenAI推出连接器功能将GitHub代码库与ChatGPT深度研究结合，开发者可通过Codex CLI实现更智能的编码辅助和交互式开发流程。
让DeepSeek模型变更强！SGLang团队将吞吐量提高5倍，API成本降到官方五分之一
SGLang团队在开源技术博客中介绍了如何优化DeepSeek模型，在96个H100 GPU上实现了显著性能提升。通过引入PD分解、TBO以及专家重新平衡等策略，提高了预填充和解码阶段的吞吐量，并减少了不平衡现象对性能的影响。
AI编码王者之战打响！谷歌新模型超越Claude 3.7 Sonnet，OpenAI豪掷30亿美元布局
谷歌DeepMind发布最新版本Gemini 2.5 Pro多模态大型语言模型，提升编码功能。该模型在LMArena和WebDev Arena排行榜上排名首位，尤其擅长构建交互式Web应用。Gemini 2.5 Pro价格适中且性能优越，激发新一轮AI代码市场竞赛。
共探AI前沿新范式｜2025北京大学校友科技创新论坛成功举办
2025年北京大学校友科技创新论坛在北京大学秋林报告厅举办，汇聚全球顶尖科学家、企业家和创业者。论坛聚焦前沿技术趋势与产业转化路径，促进产学研合作，推动科技创新与发展。
英伟达入局开源大模型之战？！高效推理模型LN-Ultra超过DeepSeek-R1
英伟达在huggingface上发布了Llama-Nemotron系列开源模型，性能媲美甚至超越DeepSeek-R1等先进模型，支持8B、49B和253B参数大小。该模型采用多阶段训练技术提升推理效率，并发布完整的训练数据集和代码库。
2025上海车展，新一代舱驾融合平台发布
第二十一届上海国际汽车工业展览会开幕，以’拥抱创新共赢未来’为主题。展会汇聚26个国家和地区的近千家企业，展出193场发布会和百余款全球首发车型。黑芝麻智能与英特尔宣布合作开发舱驾融合平台，推动车规级智能汽车计算芯片及解决方案发展。
DeepSeek最新推出Prover-V2模型，专为形式化定理证明而设计
DeepSeek发布新模型DeepSeek-Prover-V2，专为形式化定理证明设计，在神经定理证明方面取得领先性能，并提出多项创新实验提升模型能力。
英特尔首秀上海车展：以“芯”赋能，携手合作伙伴推动全车智能化
英特尔在上海车展发布了第二代AI增强SDV SoC，并宣布了多项合作伙伴关系。该SoC采用芯粒架构，能提升AI、图形和AI性能，降低开发成本和功耗。英特尔还与黑芝麻智能、面壁智能等公司合作，共同推进汽车智能化发展。