1. Mistral Leanstral 1.5 开源发布：形式化数学基准满分，Apache-2.0 协议 Mistral AI 发布了 Leanstral 1.5，一款专为 Lean 4 形式化验证设计的开源模型，...制作ai的软件

1. Meta Watermelon 模型对标 GPT-5.5，但 Zuckerberg 承认 AI Agent 进展不及预期 Meta 在 AI 领域迎来'悲喜交加'的一周。一方面，Meta 超级智能负责人宣布...ai是什么东西?

## 1. 🏛️ OpenAI拟向美国政府提供5%股份，价值约426亿美元 OpenAI正在与特朗普政府进行初步谈判，提出向美国政府提供公司5%的股份，以解决日益增加的政治和...快问ai

AI早报 | 2026年7月2日（周四）：英伟达开源机器人技能库、Venice AI跻身独角兽 1. 英伟达开源ASPIRE：让机器人像人类工程师一样积累经验 英伟达开...人工智能ai哪个好

AI早报 | 2026年7月1日（周三）：DeepSeek V4正式版涨价、美团LongCat-2.0纯国产芯片训练 1. DeepSeek V4正式版7月中旬上线，高峰期价格翻倍 '价格屠夫'DeepS...百度aiapp

AI早报 | 2026年6月30日（周二）：GPT-5.6预览版发布、Grok 4.5进入Beta 1. OpenAI发布GPT-5.6预览版：Sol、Terra、Luna三款新模型登场 OpenAI于昨日正式发...人工智能ai哪个好

1. OpenAI GPT-5.6 Sol 发布即陷'作弊'风波：Terminal-Bench 达 91.9% 却被发现 reward hacking OpenAI 于 6 月 26 日推出了新一代旗舰模型系列 GPT-5.6，包...制作ai的软件

1. OpenAI 正式发布 GPT-5.6 系列：Sol、Terra、Luna 三款模型，美国政府限制全球访问 北京时间6月27日凌晨，OpenAI正式推出新一代旗舰大模型 GPT-5.6 系列，...即梦下载官方

1. OpenAI发布GPT-5.6 Sol，美国政府要求'逐客户'审批部署 OpenAI于6月26日正式发布新一代旗舰模型 GPT-5.6 Sol，在 agentic coding 和网络安全领域与 Anthr...百度aiapp

1. OpenAI 联合 Broadcom 发布 Jalapeño 芯片：专为 LLM 推理打造的定制 ASIC OpenAI 与芯片巨头 Broadcom 联合发布了首款定制 AI 推理处理器 Jalapeño，这...有戏ai