要点整理
01 菲尔兹奖提前泄露！王虹邓煜双双在列
菲尔兹奖获奖者名单提前泄露，北大07级校友王虹和邓煜位列其中。这一消息源自量子位的报道，尚未得到官方证实。若属实，将是中国数学界的重要里程碑，彰显中国在数学领域的进步。
02 Meta最强Agent模型进军编程，从免费开源到卖“低价”模型
Meta发布最强Agent模型，专注于编程领域，并采用免费开源加低价模型策略。小扎在“消失”三年后发帖推广此产品。此举可能颠覆编程AI市场，推动AI辅助编程普及。
03 Anthropic最新AI发现：意义与局限并存
Anthropic发表最新AI发现研究，揭示了其意义和局限性。该研究由MIT Technology Review报道，指出虽然发现令人关注，但实际应用仍有距离。此研究有助于理解AI能力边界。
04 海关总署：中国出口连续11季度保持增长，贸易增量集中于AI领域
海关总署公布中国出口连续11个季度增长，贸易增量集中于AI相关领域。上半年电子元件、电脑零部件出口呈两位数增长。这表明AI产业正成为出口增长核心驱动力。
05 荣耀与阿里将开展AI智能体终端合作
荣耀与阿里将于7月18日在世界人工智能大会宣布合作，方向为下一代终端操作系统Agentic OS。双方联手聚焦从“工具”到“伙伴”的AI智能体趋势。此举将推动AI操作系统在终端设备落地。
行业动态
01 亚马逊云科技扩展DevOps代理，新增AI发布管理功能
亚马逊云科技扩展DevOps代理，新增基于AI的发布管理功能，可在代码投入生产前进行验证。该功能旨在提升部署效率，减少生产环境故障。此举将加速DevOps智能化进程。
02 Fable 5访问权限再延一周，但Anthropic的“黑心账本”问题凸显
Anthropic将Fable 5访问权限再延一周，但其“黑心账本”问题引发关注。该问题涉及数据隐私和成本透明度。用户权益保护成为焦点。
03 软银推出基于OpenAI技术的网络安全服务
软银集团与SB OAI Japan推出基于OpenAI技术的网络安全服务“Patching as a Service”，已扩展至3000家企业。该服务利用AI自动修补漏洞。此举将提升企业安全响应速度。
04 小米景明在绵阳成立新科技公司
小米景明在绵阳成立全资科技公司，注册资本100万，经营范围包括新能源汽车销售、充电桩运营等。这是小米在汽车领域布局的又一进展。预计将加速小米汽车服务网络扩张。
05 金山云在武汉成立数智科技公司
金山云在武汉成立全资数智科技公司，注册资本1000万，聚焦互联网数据服务和云计算设备销售。此举旨在深化华中地区云服务布局。金山云有望借此拓展政企市场。
06 高德发布通用世界模型工坊ABot-World Studio
高德发布ABot-World Studio，用户输入文字或图片即可生成可交互的AI世界，输出视频与3DGS文件。该产品将交互式视频生成与3D场景统一。高德借此切入AI内容创作领域。
07 Block将约450个JVM仓库迁入monorepo以降低依赖漂移
Block将约450个JVM仓库迁入monorepo，以解决依赖漂移问题。此举可简化版本管理，提升开发效率。预计将影响微服务架构设计趋势。
投资融资
01 逐际动力完成2亿美元Pre-IPO轮融资，投后估值150亿元
通用人形机器人公司逐际动力完成Pre-IPO轮融资近2亿美元，投后估值达150亿元，投资方包括IDG资本等。资金将用于大小脑融合技术突破和规模化部署。该公司计划加快全球市场拓展及港股IPO。
02 “新奇机器人”完成A+轮融资
“新奇机器人”宣布完成A+轮融资，半年内完成第三轮市场化融资。投资方包括经纬创投、沃赋创投等市场化机构，以及智元机器人等产业方。此轮融资将加速机器人产品研发与市场拓展。
03 奇塑科技完成近亿元天使轮融资
桌面级CNC企业奇塑科技完成近亿元天使轮融资，由商汤国香、首形科技等投资。资金将用于桌面级CNC软硬件研发、量产及营销。此举标志着消费级CNC市场进入资本加速期。
04 大衍科技完成数千万元天使轮融资
空间智能公司大衍科技完成数千万元天使轮融资，由松禾资本领投，浙江省省金控等国资背景机构参与。资金将用于触觉大模型研发和机器人数据产线建设。该公司专注4D世界重建和世界模型技术。
05 启境汽车增资至30.2亿，增幅约44%
启境汽车关联公司启境智能汽车科技（广州）有限公司注册资本由21亿增至30.2亿，新增泓途一号等股东。该公司由广汽集团和广汽埃安等持股。增资将用于扩大新能源汽车业务。
技术突破
01 面向Agentic负载的下一代LLM推理引擎设计实践
AICon深圳大会分享面向Agentic负载的下一代LLM推理引擎设计实践。该引擎针对智能体场景优化推理效率。未来有望降低Agent应用的计算成本。
02 从上下文到经验资产：Agent记忆系统的工程化路径与MemOS实践
文章探讨Agent记忆系统从上下文到经验资产的工程化路径，并介绍MemOS实践。该系统旨在将Agent交互经验转化为可复用资产。这将推动Agent长期学习能力的提升。
03 AI推理成本首次算清：GPU利用率不到52%，千万别自建
研究首次算清AI推理成本，显示GPU利用率不到52%，建议企业避免自建。该结论基于实际数据分析。企业应采用云服务而非自建基础设施以降低成本。
04 日本开发从废旧电池回收90%锂的方法
日本研发从废旧电动车电池回收高达90%锂的方法，由HackerNews报道。该技术可缓解锂资源依赖，降低电池成本。对电动汽车产业可持续发展具有重要意义。
05 ESBMC-Arduino: 填补形式化验证部署鸿沟
论文提出ESBMC-Arduino工具，旨在关闭形式化验证在Arduino部署上的差距。该工具使开发者能自动验证嵌入式代码。预计将提升物联网设备安全性。
产品上线
01 Agent专用搜索登顶Product Hunt，Token更省搜得更准
中国团队开发的Agent专用搜索产品登顶Product Hunt，其特点是Token消耗更少、搜索更精准。该产品专为智能体设计。有望成为Agent基础设施的新标准。
02 Cloudflare与亚马逊云科技合作在边缘端集成x402代理支付功能
Cloudflare与亚马逊云科技合作，在边缘端集成x402代理支付功能，实现快速支付处理。该功能利用边缘计算降低延迟。对电商和流媒体等场景具有重要价值。
03 火山引擎与央视网打造2026世界杯沉浸式观赛盛宴
火山引擎与央视网合作，利用技术打造2026世界杯沉浸式观赛体验。该产品结合AI和云计算，提供实时互动。有望革新体育赛事观看方式。
04 Sx 2.0: 通过Dropbox文件夹与团队分享AI技能
Sx 2.0发布，允许用户通过Dropbox文件夹与团队分享AI技能，降低非技术用户使用门槛。该工具最初为开发者设计。此举将促进AI技能在企业内普及。
05 YouTube吉他谱解析器
开发者创建CLI工具，将YouTube吉他教学视频转为PDF吉他谱，利用Claude视觉模型采样帧。该工具简化了获取吉他谱的过程。对音乐学习者颇为实用。
AI 教育资讯
01 可复制的AI Coding全栈实战：比OpenSpec更轻量、更丝滑
文章介绍一种可复制的AI Coding全栈实战方案，比OpenSpec更轻量。该方案面向开发者，提供实战指南。有助于快速上手AI辅助编程。
创业机会
01 利用AI辅助编程工具做自由开发
Meta开源了强大的编程Agent模型，普通人可基于此构建定制化开发工具，为中小企业提供低代码解决方案。适合有编程基础的开发者，切入企业级市场，通过项目制或订阅收费。
02 基于高德ABot-World Studio做3D内容创作
高德发布世界模型工坊，用户输入文字即可生成可交互3D世界。创作者可利用该工具为教育、游戏、营销等行业快速生成沉浸式场景，按项目收费或出售版权。
03 提供Agent专用搜索定制服务
Agent专用搜索产品登顶Product Hunt，投入少且精准。创业者可基于此技术为特定行业（如法律、医疗）提供垂直搜索服务，通过API接口或SaaS订阅盈利。
04 利用Sx 2.0为企业搭建AI技能库
Sx 2.0让非技术人员也能通过Dropbox分享AI技能。副业者可为中小企业搭建定制化AI技能库，帮助员工快速使用AI工具，收取部署和培训费用。
05 基于AI生成互动式音乐教学工具
有开发者制作了将YouTube吉他视频转为PDF谱的工具。创业者可类似开发AI教学工具，如将任意乐器演奏视频转为乐谱，通过订阅或付费下载盈利。