据报道 xAI 裁减数据标注团队 500 名员工

图中提到有消息称 xAI 公司正在裁减其数据标注（annotation）团队，规模约 500 名员工，反映出 AI 公司在成本控制、自动化替代与效率优化上的压力与趋势。

北京 1400 余所中小学开设人工智能通识课，覆盖全学段，每学年不少于 8 课时

据图中信息，北京市已经在 1400 多所中小学中开设人工智能通识教育课程，覆盖从小学到中学等所有学段，每学年开设课程不少于 8 节课，意图提高学生对 AI 的基础理解与素养。

百度上线 PP-OCRv5 文字识别模型，0.07B 参数量，高效精准，支持多语言，优势显著

百度发布新一代 OCR 模型 PP-OCRv5，参数量仅约 0.07B，非常轻量，可在 CPU 与边缘设备上高效运行。该模型支持简体中文、繁体中文、英文、日文与拼音等多语言／文字类型，并在定位精度与字符识别准确性上显著优于部分常用视觉语言模型（VLM）与既有 OCR 系统。

新 AI Agent “高斯” 三周完成陶哲轩 18 个月未搞定的数学挑战，未来发展受期待

据图中所述，一个名叫 “高斯” 的 AI Agent，在三周内完成了数学家陶哲轩（Terence Tao）历时 18 个月未解决的特定数学挑战。这显示出该 Agent 在数学推理或问题解决上的突破性潜力，引起学术界与应用界的关注。

谷歌 DeepMind CEO 炮轰 OpenAI GPT-5 所谓博士能力纯属扯淡

DeepMind 的 CEO Demis Hassabis 对于有人称 GPT-5 拥有“博士级能力”的说法提出强烈质疑。他认为：虽然 GPT-5 在某些任务上表现突出，可能达到某一学科博士水平，但并不具备覆盖多学科的博士水准。通用智能（AGI）的核心在于能够在不同领域都展现博士水平的能力，而现阶段 GPT-5 尚未做到这一点。

罗永浩吐槽西贝预制菜引发争议，这凸显预制菜问题，也让炒菜机器人受关注

罗永浩在微博发文称，西贝“几乎全都是预制菜”，认为顾客被误导且价格偏高，引发公众关于“预制菜”的标准、透明度与消费者权利讨论。西贝创始人贾国龙否认使用预制菜，表示愿意开放后厨、原产地等工厂流程，并提出将部分核心菜品从预加工调整为门店现做。此事件对西贝营收、门店客流造成影响，也推动行业监管与标签标注讨论升温。

Stability AI 发布 Stable Audio 2.5 音频模型，2 秒生成 3 分钟曲目

Stability AI 正式推出 Stable Audio 2.5 模型，可在不到 2 秒的 GPU 推理时间内生成最长 3 分钟的音轨。相比前代，改进点包括更强的音乐结构表现（前奏、发展、结尾段落）、更精准理解提示词、新增音频修补（Audio Inpainting）功能，并支持本地部署。

谷歌 Gemini 凭借 Nano Banana 在苹果 App Store 登顶，超越 ChatGPT

谷歌最近推出的图像编辑 AI 工具 Nano Banana，集成在 Gemini 应用里，在短时间内帮助 Gemini 超越 ChatGPT，登顶苹果 App Store 免费排行榜。该功能上线后，新用户快速增长，编辑作品数惊人（数亿张图片），成为推动 Gemini 爆红的关键因素。

腾讯混元升级 AI 绘画微调范式，提出 Direct-Align 和 SRPO 方法，提升图像质量

腾讯混元最新对图像生成／绘画模型微调范式（fine-tuning paradigm）进行了技术升级，引入 Direct-Align 和 SRPO（Semantic Relative Preference Optimization） 方法。前者在训练中向干净图像注入噪声并恢复原图以增强每个时间步的恢复能力，后者通过正负提示词对来优化奖励信号，整体提升图像质量并减少传统扩散模型中过度优化（reward hacking）的问题。

字节与港大联合推出 Mini-o3 视觉推理开源模型，无需大量训练，多轮推理和视觉搜索表现优异

字节跳动 + 香港大学 发布了开源模型 Mini-o3，该模型注重视觉搜索和多轮交互推理，不需要海量训练而能生成富有思考路径的视觉检索轨迹（包括试错、深度探索等），在难题上的表现优于许多现存模型。

王梦迪团队推出 TraceRL 框架，用于扩散语言模型强化学习，4B 模型推理超 7B 自回归模型

普林斯顿大学王梦迪团队发布了名为 TraceRL 的 “轨迹感知强化学习” 框架，可应用于扩散语言模型（DLM）。其训练出的 4B 大小模型 在多个复杂的数学推理任务上，表现超过了某些 7B 自回归语言模型。

Cursor 升级 Tab 模型，运用实时强化学习，减少低质建议，提高采纳率

Cursor 新的 Tab 模型已设为默认版本，采用在线／实时强化学习机制。该模型建议的数量较旧模型减少约 21%，但被接受（采纳）的比例提升约 28%。即用户体验中较少打扰但质量更高。

马斯克旗下 xAI 推出 Grok 4 Fast 模型，响应速度最高达标准版 10 倍

xAI 发布了 Grok 4 Fast 模型，该版本响应速度高达标准版的约 10 倍，能显著加快生成响应时间。Fast 模式虽然在速度上大获提升，但在某些场景中仍有妥协，比如在复杂问题（需要推理或工具调用）上的准确性和一致性略低。

AI智能体走热，将如何改变生活？

学会搭建使用AI智能体后，自媒体运营者小米感觉就像多招了一名24小时给自己打工的“文案设计师”，1分钟就能生成10个爆款标题，“省心多了”。
AI智能体（AI Agent），正成为新的人工智能热词。作为不少人看好的AI应用发展方向，AI智能体备受关注。

道通科技上半年净利预增至多26.76% AI技术与核心业务融合加速

7月6日晚间，道通科技发布2025 年半年度业绩预告。
公告显示，经财务部门初步测算，预计2025年半年度归母净利润为4.6亿元至4.9亿元，同比增长19.00%至26.76%；归母净利润扣除非经常性损益的预估为4.55亿元至4.85亿元，同比增长57.32%至67.69%；扣除非经常性损益及股份支付费用的净利润预计为4.7亿元至5.08亿元，同比增长62.51%至75.65%。

学而思学习机上海本地学全国首发 构建“AI+本地化”智能教育新生态

7月5日19点，学而思学习机上海本地学发布会在沪盛大举行。
这场以“AI 赋能区域教育・科技驱动精准学习”为主题的发布会，通过四大核心环节深度展现了技术与教育的融合创新。

谷歌/DeepSeek首次合体AI梦之队！战力飙升30%，碾压一切单模型

三个前沿AI能融合成AGI吗？Sakana AI提出Multi-LLM AB-MCTS方法，整合o4-mini、Gemini-2.5-Pro与DeepSeek-R1-0528模型，在推理过程中动态协作，通过试错优化生成过程，有效融合群体AI智慧。

广东推动“AI+玩具”，拓展超1000亿元产值增量

近日，广东人工智能赋能玩具产业发展交流对接会在东莞石排潮玩中心举办。南方财经记者从会上获悉，广东将出台加快推动人工智能赋能玩具产业行动方案，培育建设东莞、汕头等重点AI玩具产业集群，打造标杆AI玩具企业，未来将为广东玩具产业拓展带来超1000亿元的产值增量。

“AI+绿色发展”：为守护绿水青山装上“智慧大脑”

6日，“AI+绿色发展”论坛作为2025年生态文明贵阳国际论坛的系列活动之一在贵阳举办。
国内AI领域的专家学者、企业代表等共同探索数字化和绿色化协同发展路径，充分释放AI对绿色发展的叠加、聚合、倍增效应。
北京通用人工智能研究院常务副院长董乐认为，“AI+绿色”的核心价值在于驱动安全可靠、降本增效，并希望联合行业标杆企业共建全球智能科技联合实验室。

AI人才培养尤其需要打通产学研链条

近年来，人工智能的大爆发被称为“第四次工业革命”，它对人类生产生活方式的改变和影响将是长远且颠覆性的。2025年春，我国国产大模型DeepSeek横空出世，不仅点燃了社会大众对AI的热情，更反映出当前产业爆发与人才供给间的潜在矛盾。