百度正式发布并上线了新一代文心大模型
在专项能力方面，该模型表现尤为惊人。其数学处理能力目前已冲至全球第二，性能表现仅次于 GPT-5.2-High。除了数学领域的优势，
目前，该模型已在科学研究、商业金融、医疗健康等多个职业细分领域展现出极高的专业素养，排名均跻身行业前十。百度目前已面向公众开放了
体验地址:https://ernie.baidu.com/
欢迎来到【AI日报】栏目!这里是你每天探索人工智能世界的指南，每天我们为你呈现AI领域的热点内容，聚焦开发者，助你洞悉技术趋势、了解创新AI产品应用。
Anthropic发布最强Claude Sonnet 5模型，基准测试全面超越前代，但上线后迅速陷入争议。用户集中吐槽其存在严重上下文记忆泄露，常将系统预设提示词直接暴露在回复中，引发“表现失常”的热议。该问题目前仍在持续发酵。
Reddit 利用升级的大语言模型结合自动化工具，精准监测并打击高度隐蔽的AI生成垃圾内容，包括虚假行为与人为炒作，全力守护社区内容真实性。
7月7日，蚂蚁旗下灵波科技发布LingBot-Depth2.0空间感知模型，基于1.5亿数据训练，提升边缘清晰度、细小物体识别、远距离深度估计及复杂场景鲁棒性。该模型为机器人“眼睛”，1.0版已解决透明、反光难题，2.0进一步升级。
谷歌近日低调调整隐私政策，默认将用户上传的图片、文件、音频、视频等媒体数据纳入AI模型训练。这意味着在搜索、购物等核心服务中，个人内容可能被用作提升AI能力的“燃料”，引发广泛关注。
美国网络安全局（CISA）正利用Anthropic公司的“神话”AI模型，秘密对政府软件代码进行全面审计，以防范潜在安全威胁。此项工作由内部攻击面评估团队负责，该团队专为各机构开展数字安全评估。通过扫描代码仓库，模型已成功发现大量可能被外部利用的安全漏洞。
AI大战中，马斯克旗下xAI宣布更名SpaceXAI，新品牌与社交账号同步上线，正式完成并入SpaceX的整合。SpaceX已于2月收购xAI和聊天机器人Grok，实现资产合并，标志马斯克将AI深度融入太空业务版图。
美团开源LongCat-2.0大模型，系首个基于国产算力芯片完成训练与推理的万亿参数基础模型，在五万卡集群上运行，标志国产AI技术突破。
2026年科技业营收创纪录，却深陷AI引发的裁员海啸，迄今全球已削减约12万个岗位。AI从增长引擎蜕变为企业组织重构的“指挥棒”，微软近期也裁员4800人，凸显行业以效率换人力的深层转型。
Mistral AI发布专为Lean4设计的开源模型Leanstral1.5，采用Apache-2.0许可。该模型总参数119B，仅6B激活参数，兼顾高性能与低成本。在miniF2F形式数学基准中，验证集和测试集均达100%完成率，并已挑战Putnam等高难度推理任务。
欧洲Mistral AI推出数学形式化证明模型Leanstral 1.5，专为Lean4语言，总参数119B但推理仅激活6B，以极低开销和Apache-2.0许可完全开源。在miniF2F基准上验证集和测试集均达100%完成率，PutnamBench同样表现惊人。