开源动态8

新版DeepSeek - R1开源性能强

新智元2025-05-29

AI 摘要

新智元：新版DeepSeek - R1开源，性能逼近o4 - mini，编程超Claude 4 Sonnet。它有深度推理等亮点，实测性能大幅提升，复杂推理表现佳，算力也有针对性提高。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

DeepMind AI破解56年数学难题登Science

本文报道谷歌DeepMind推出AI数学证明框架AlphaProof Nexus，破解多道悬而未决的数学难题含两道56年埃尔德什开放问题，成果经同行评审登上《Science》，对比OpenAI此前发布方式的争议，介绍其工作流程。

本文解读第九版244页的《2026年度State of AI Report》，核心指出RSI（递归自我改进）已成AI研发核心趋势，涵盖AI研发竞争、产业、安全、前沿预测等多方面重磅内容。

本文介绍Google Cloud推出的Gemini agent，面向企业工作流的智能体产品，支持跨多模型调度，AI可拥有独立企业身份，可接入多款企业常用工具，解决企业部署AI的权限、审计痛点。

本文拆解了网易有道新开源的真流式语音识别模型R2T2，从冷启动到登顶Hugging Face ASR热榜第一的完整路径，总结了小众开源模型冲榜的实操经验，对开源项目运营有较高参考价值。