正文：2025年7月19日，美国加州初创公司Decart推出实时AI视频生成模型MirageLSD，获AI大神Karpathy投资。该模型基于自研Live-Stream Diffusion（LSD）技术，攻克了传统自回归视频生成中“误差累积”难题，实现零延迟、无限时长的实时视频生成，延迟降至40毫秒以下，速度比现有模型快16倍，支持每秒24帧输出。MirageLSD支持直播、游戏、视频通话等多种输入形式，并允许实时提示与编辑。其创新点包括因果自回归结构、Diffusion Forcing技术和历史增强策略，确保生成连贯性与高质量。Decart此前于2024年发布首款模型Oasis，具备零延迟开放世界生成能力。团队计划未来升级面部一致性、语音控制等功能，进一步提升用户体验。

2025年7月，Genspark推出AI浏览器，此前其超级Agent上线45天ARR达3600万美元，订阅用户约12万。新产品定位生产力工具，具备复杂任务解决能力，如自动生成PPT、分析视频内容、比较购物价格等。部分功能如电话代打被日本用户用于辞职或分手，但因网络限制，中国用户无法使用相关功能。Genspark已完成Office三件套功能搭建，目标用户为高付费意愿群体，订阅费每月25美元。尽管产品迭代迅速，但界面设计和用户体验仍有待优化。AI浏览器成为热门赛道，但目前尚未出现颠覆性产品，Chrome仍占据主导地位。

7月15日，LG AI Research推出韩国首个混合推理AI模型EXAONE 4.0。该模型结合自然语言处理与高级推理能力，在数学、科学和编程等领域表现突出。提供专业模型（32B）用于高专业度领域，以及端侧模型（1.2B）支持本地化安全运行。其性能通过全球高难度基准测试验证，包括MMLU-Pro 81.8分、LiveCodeBench v6 66.7分、GPQA-Diamond 75.4分和AIME 2025 85.3分。即日起面向教育机构免费开放，并与Friendly AI合作推出无GPU门槛的商业API服务，研究版已开源发布于Hugging Face平台。

2025年7月10日，美国互联网券商巨头Robinhood的CEO Vlad Tenev联合Tudor Achim创立的人工智能初创公司Harmonic AI完成B轮融资，筹集1亿美元，估值达8.75亿美元。该公司专注于开发解决复杂数学问题的AI系统，目标是构建数学能力超越人类的超级智能（MSI）。其首个模型Aristotle已发布，具备自动形式化能力，并在MiniF2F基准测试中表现优异。Tenev表示，最终目标是解决重大未解数学问题，并扩展到物理与计算机科学领域，推动实现AGI（通用人工智能）。此轮融资由Kleiner Perkins领投，多家知名机构跟投。

奖励模型也能Scaling！上海AI Lab提出策略判别学习新范式 强化学习是AI迈向通用人工智能（AGI）的关键技术，但奖励模型的设计与扩展始终是瓶颈。当前，大语言模型通过数据和模型扩展不断提升能力，而奖励模型却因缺乏系统性预训练方法，难以随计算量增长持续提升。 上海AI Lab的研究团队提出了一...

谷歌宣布将在未来几周内将Gemini人工智能助手引入运行Wear OS 4及更新系统的智能手表，涵盖Pixel、三星、OPPO、一加和小米等品牌，全面取代Google Assistant。用户可通过语音指令、侧边按钮或应用图标启动Gemini，支持多种实用场景和跨应用任务，如烹饪建议、日程管理、信息记录等。同时，谷歌升级Circle to Search功能，新增AI深度推理能力，并优化AI概览呈现形式。Pixel 9 Pro用户将免费获得一年Google AI Pro订阅服务，包含Veo 3生成功能，适用于游戏、搜索等多种场景。

4B小模型数学推理首超Claude 4，700步RL训练逼近235B性能 | 港大&字节Seed&复旦 香港大学NLP团队联合字节跳动Seed和复旦大学推出强化学习训练配方Polaris，通过仅700步RL训练，让4B参数量的小模型在数学推理任务上接近235B大模型的表现，并超越Cl...

AI版三个臭皮匠！ChatGPT/Gemini/DeepSeek合体拿下AGI测试最高分 ChatGPT的对话流畅性、Gemini的多模态能力、DeepSeek的长上下文分析……这些模型能否强强联合，共同解决问题？由Transformer作者之一Llion Jones创立的Sakana AI提出...

2025年，AI眼镜成为全球瞩目的硬件品类，预计销量将达550万台。六月，小米、Meta与Oakley、苹果等大厂相继发布或曝光AI眼镜产品，Rokid预售量达25万台，用户热情高涨。AI眼镜不仅支持第一视角拍摄、实时翻译等功能，还通过AI+AR技术实现虚实交互，如导航、支付和辅导作业等场景应用。然而，行业面临产能不足、续航短、算力依赖云端等问题。尽管处于发展初期，但市场热度推动技术迭代，未来有望带来更成熟的交互体验。

7月7日，美国一对夫妻通过哥伦比亚大学生殖中心开发的“STAR系统”，成功实现了18年求子梦想。男方因罕见无精症，多次试管婴儿尝试均失败。该系统结合AI与高解析摄影技术，一小时内可在精液样本中捕捉超800万张显微影像，精准定位并提取“隐形”健康精子，极大提升存活率，避免传统方法的痛苦与风险。这对夫妻成为首批受益者，妻子目前已怀胎5个月。该技术费用约3000美元，但对部分极端无精症患者仍有限制，因AI无法凭空生成精子。目前，“STAR”技术仅在该生殖中心提供。