CFM 与 OT-CFM：条件流匹配与最优传输的碰撞

在这里插入图片描述1. 核心目标提出条件流匹配（CFM） 及其优化版本OT-CFM，解决连续标准化流（CNF）中模拟ODE的困难，并通过最优传输减少路径交叉问题。2. 关键概念(1) Flow Ma

Moonshot 发布 k2 模型，1T 参数

前百川智能联创焦可新创业公司曝光，新项目已上线 App Store

从弃文从医，再到弃医从文。作者丨郑佳美编辑丨陈彩娴AI 科技评论获悉，前百川智能联合创始人焦可已正式启动其在 AI 语音方向的创业项目，产品名为“来福”。目前该产品已已经能在 App Store 搜索

腾讯AI Lab 提出解耦推理新框架，破解IMO 数学难题

首次证明了通过精巧的框架设计，AI有能力攻克需要深邃人类智慧的数学堡垒。本文探讨了当前大语言模型（LLM）在自动化定理证明（ATP）领域面临的核心困境——强大的非形式化推理能力与孱弱的形式化证明能力之

马斯克最贵 AI 首批实测炸了！Grok 4 一边封神一边翻车，网友：2 万块就这？

AI 的舞台，从来不缺「新王登基」的剧情。接连数月，模型一个接一个轮番登场，一个比一个自称炸裂。就拿昨天的 Grok 4 来说，马斯克放话「这是地球上最聪明的 AI」，还没上线，就已经把话题度拉满了。

马斯克吹牛了吗？Grok 4第一波实测出炉：既能完虐o3，也菜到数不清6根手指

机器之心报道机器之心编辑部网友氪重金体验Grok4。昨天，马斯克亮相 Grok 4 发布会，一脸骄傲地表示：Grok 现在所有学科都达到博士后水平，没有例外，甚至可以在今年内实现科学新发现。这一下子激

实测Vidu Q1参考生功能，看到诸葛亮丘吉尔拿破仑在长城拍照留念

机器之心报道编辑：Youli这次真的不一样，遇到了「想象力的神」！以前常说「要把自己活成一支队伍」，如今感谢 AI，真的实现了。最近，生数科技旗下 AI 视频模型 Vidu Q1 推出参考生功能，极大

微软研究院BioEmu登上Science，用生成式AI重塑蛋白质功能研究

7 月 10 日，微软研究院 AI for Science 团队在《Science》杂志发表了题为「Scalable emulation of protein equilibrium ensemble

告别Transformer！北大、北邮、华为开源纯卷积DiC：3x3卷积实现SOTA性能，比DiT快5倍！

当整个 AI 视觉生成领域都在 Transformer 架构上「卷生卷死」时，一项来自北大、北邮和华为的最新研究却反其道而行之，重新审视了深度学习中最基础、最经典的模块——3x3 卷积。他们提出的 D

Z Product｜Product Hunt最佳产品（6.30-7.6），为初创打造的AI法律平台登顶

6.30-7.6 TOP10TOP1: Skala一句话描述：Skala 是一款集公司注册、融资、商标和合同管理于一体的智能法律平台。图片来源：Product Hunt简介：Skala 是一款面向初创

深度｜Sam Altman回应与微软分歧及行业诉讼：这是一段有着广阔未来的合作关系

图片来源：Hard ForkZ highlights我们认为，“隐私”与“AI”的关系，是关乎未来的一个关键议题，必须被严肃、妥善地解决。我们之所以坚持，是因为这不仅是技术问题，更关乎制度上的“先例”

速递｜AWS下周杀入AI Agent混战，联手Anthropic开启“Agent应用商店”时代

图片来源：Anthropic据 TechCrunch 消息，亚马逊云科技（AWS）将于下周推出 AI 智能体市场， Anthropic 已成为其合作伙伴之一。AWS Agent市场将于7 月 15 日

速递｜ 英伟达竞对Groq的估值冲60亿美元，中东金主加持

图片来源：Groq据直接了解融资情况的人士透露，开发用于驱动大语言模型芯片的 Nvidia 挑战者 Groq 已与投资者洽谈，拟以 60 亿美元的投后估值筹集 3 亿至 5 亿美元资金。Groq 已从

醒醒吧！CEO猛吹AI写95%代码，绩效考核却还在拼程序员手速？

编译 | Tina 在 AI 工具席卷开发圈之后，一批技术老兵的工作方式悄然发生变化。Superhuman （原生 AI 邮件应用）工程负责人 Loic Houssier 正是这场转型的亲历者之一。这

ICML 2025 Spotlight | 快手、南开联合提出模块化双工注意力机制，显著提升多模态大模型情感理解能力！

“情智兼备”是新一代人工智能的重要发展方向，是迈向通用人工智能的关键一步。在人机交互场景中，具备情智的数字人与机器人需要精准解译多模态交互信息，深度挖掘人类内在情感状态，从而实现更具真实感与自然性的人

外卖补贴大战之外，美团悄悄“买下”半个机器人赛道

作者｜饶翔宇编辑｜钟毅本文首发于钛媒体APP7月的第一个周末，美团用大额补贴的方式，将平台的外卖日订单量暴力拉升到了超1亿单，这相当于整个外卖市场平峰期的总体日订单量。这是京东入局外卖之后，美团第一次

OpenAI去年挖的坑填上了！奖励模型首现Scaling Law，1.8B给70B巨兽上了一课

新智元报道 编辑：定慧 好困【新智元导读】最近，一款全新的奖励模型「POLAR」横空出世。它开创性地采用了对比学习范式，通过衡量模型回复与参考答案的「距离」来给出精细分数。不仅摆脱了对海量人工标

全球首个科研LLM竞技场上线！23款顶尖模型火拼：o3夺冠，DeepSeek第四

新智元报道 编辑：海狸 好困【新智元导读】最近，Ai2耶鲁NYU联合推出了一个科研版「Chatbot Arena」——SciArena。全球23款顶尖大模型火拼真实科研任务，OpenAI o3领

用MoE打造DNA基础模型更强范式！人大实现seq2func全新突破

新智元报道 编辑：LRST【新智元导读】中国人民大学高瓴人工智能学院的研究团队提出通过创新模型架构来提升性能，其SPACE模型引入新架构，提升了DNA基础模型的性能与泛化能力，在多项测试中表现优

新智元十年，ASI降临，诚邀你加入！

新智元报道 【新智元导读】2025年9月7日，新智元将迎来十岁生日！值此，新智元诚邀你加入，共同见证ASI降临。2015年9月7日—2025年9月7日，新智元星舰远航十年。「新智元」星舰搭载了数

奖励模型也能Scaling！上海AI Lab突破强化学习短板，提出策略判别学习新范式

允中 发自 凹非寺量子位 | 公众号 QbitAI强化学习改变了大语言模型的后训练范式，可以说，已成为AI迈向AGI进程中的关键技术节点。然而，其中奖励模型的设计与训练，始终是制约后训练效果、模型能力

这届985毕业生直播带货一把好手！50余款产品热销全网供不应求

白交 发自 凹非寺量子位 | 公众号 QbitAI了不得！ 这届学生毕业季卖上货了——结果热销全网，50余款「毕业成果」累计吸引全网3000万观众围观和拼购。是酱婶的，这不正好毕业季，中国农业大学办了

抱抱脸进军具身智能机器人：5小时成交破百万，299美元起售

henry 发自 凹非寺量子位 | 公众号 QbitAIAI圈的“GitHub”居然开始卖机器人了！HuggingFace最新发布开源桌面机器人ReachyMini，5小时内卖出超13万欧元（约为人民

文档秒变演讲视频还带配音！开源Agent商业报告/学术论文接近人类水平

PresentAgent团队 投稿量子位 | 公众号 QbitAI现在的AI Agent在文档生成PPT或视频方面，要想像人一样，把文字、图片、讲解、音视频全都串起来讲清楚，还真不太行。来自澳大利亚人

感知错误率降低30.5%：隐式感知损失让模型主动“睁大眼睛” | UIUC＆阿里通义

PAPO团队 投稿量子位 | 公众号 QbitAI让大模型在学习推理的同时学会感知。伊利诺伊大学香槟分校（UIUC）与阿里巴巴通义实验室联合推出了全新的专注于多模态推理的强化学习算法PAPO(Perc

Anthropic：大模型思考过程已被看透

最近听说大模型的计算思考过程变得透明了，这要归功于Anthropic开源的可视化超级黑科技。长久以来，大语言模型（LLM）如同一个深不可测的“黑箱”。如今，它的“黑箱”正在被打破！继ChatGPT之后

OpenAI首席科学家：发布前夜，我们差点砍掉ChatGPT！5个你不知道的惊险内幕。

嘿，大家好！这里是一个专注于前沿AI和智能体的频道~昨天，看了一下OpenAI官方发布的最新一期PodCast，对话嘉宾是他们的首席研究官 Mark Chen 和 ChatGPT 负责人 Nick T

DeepSeek 向王一博道歉闹剧：AI 幻觉不是病，别治了

前几天，一场由 AI 幻觉引发的舆论风波席卷网络。不少网友发帖称 DeepSeek 因「误将王一博卷入腐败案」而公开道歉，还附带一份看似权威的「刑事判决书」。很快《演员王一博案，判了》就被不少媒体当作

继裁员后，Manus断供中国？ 1. 通过国内浏览器打开Manus官网，显示的不再是 “Manus中文版本正在开发中”，而是 “Manus在你所在的地区不可用”。 2. Manus官方微博、小红书账号已经清空，看不到之前的动态。 3. 之前官宣的和阿里通义千问团队达成战略合作的公告，现在也看不到了。 据前员工透露：“不会继续推进”。 等Munus中文版的朋友，大概率要失望了🫠

继裁员后，Manus断供中国？ 1. 通过国内浏览器打开Manus官网，显示的不再是 “Manus中文版本正在开发中”，而是 “Manus在你所在的地区不可用”。 2. Manus官方微博、小红书

这8个2025年最火的RAG项目不可错过！

想象一下，你能打造一个AI驱动的系统，秒速搜索海量数据，像人类一样理解语境，还能对复杂问题给出精准又聪明的回答。听起来像魔法？其实不然——这就是FAISS DB和Langchain，两种正在改变人工