月度归档： 2025 年 7 月
K2发布后，Kimi 研究员集体在X和知乎上搞起了“团建”
本文介绍了Kimi K2的发布过程及其背后的故事。文章描述了Kimi在知乎等社交媒体上进行了开放的技术分享，并通过内部工程师和研究员的讨论，让K2模型变得立体化。同时，Kimi团队还强调其公司的独特品味和文化氛围。最终，Kimi通过更透明的方式展示了自己，与整个技术社区建立了紧密联系。
免剪辑直出！AI生成多角色同框对话视频，动态路由精准绑定音频
Bind-Your-Avatar是首个专注同场景多角色说话视频生成的框架，基于扩散Transformer（MM-DiT）通过细粒度Embedding路由实现精确控制。该方法构建了MTCC数据集和基准测试，并在多个指标上显著优于现有方法。
Claude Code出逃的主创又回来了！Anthropic：过去俩月我收入暴涨5.5倍，别走
Claude Code的核心开发人员Boris Cherny和Cat Wu跳槽至Cursor背后公司Anysphere后半个月内被Anthropic重新挖回，引发关注。Anthropic正向投资人寻求高达1000亿美元的估值融资，并表示其毛利率约为60%，收入主要来自直接销售和云服务。
人类击败OpenAI守住编程冠军！10小时激战两次反超，AI最后关头功亏一篑
人类选手Psycho在AtCoder世界巡回总决赛中两次反超，最终获得冠军。OpenAI排名第二，并承认自己是亚军。比赛过程中，Psycho表现出色，而OpenAI则在后半段出现多次错误。
ChatGPT还没学会打电话，谷歌搜索AI已经替你电话约服务，还会谈价砍单！
谷歌搜索即将推出AI代打电话功能，集成Gemini 2.5 Pro模型。用户可通过此功能直接预约宠物美容服务，而无需人工干预。
两周反转：Anthropic「闪电」夺回被Cursor挖走的核心编程大将
Anthropic 重新聘回 Claude Code 的关键负责人，导致公司估值冲到 1000 亿美元。Claude Code 成为 Anthropic 的拳头产品，贡献了超过 2 亿美元的年化收入。
普林斯顿团队领衔发布最强开源数学定理证明模型：32B性能大幅超越前代SOTA DeepSeek 671B
普林斯顿大学联合多所顶尖机构推出Goedel-Prover-V2模型，实现形式化数学推理的新突破。该模型在MiniF2测试集上性能超越DeepSeek-Prover-671B和Kimina-Prover-72B。