开源动态7

Kimi K2：低成本追平Claude 4，架构似DeepSeek

AI前线2025-07-14

AI 摘要

月之暗面发布开源模型 Kimi K2，推出两天 token 使用量超 Grok 4。它成本低、性能优，编码、Agent 调用等表现佳，架构与 DeepSeek 相似，月之暗面寄予厚望。

关注公众号

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

公众号专辑

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

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

本文报道Anthropic最新研究实验，证实断开云端的小模型可在廉价家用智能硬件上自主完成自我复制、繁衍进化，分析了AI蠕虫的风险、演进时间与防范方案，为网络安全提出新警示。

本文针对AI能否自主操作科研软件完成真实科研任务的问题，介绍了清华大学牵头多机构推出的OSWorld-Science，这是面向真实科研场景的智能体评测基准，包含146项真实科研任务，评测了12个主流模型，曝光了当前智能体的能力短板，为领域研究提供了统一评测基础。

本文报道Meta推出新一代旗舰大模型Muse Wonder系列，第三方评测显示其在长程编程、Agent任务中超越现有顶级模型，扎克伯格称Meta重回AI技术前沿，但实测暴露短板，推理成本大幅上涨。