AI早报 | 2026年7月5日（周日）：Mistral开源数学神模型、Anthropic双线进军制药制作ai的软件

1. Mistral Leanstral 1.5 开源发布：形式化数学基准满分，Apache-2.0 协议百度aiapp

Mistral AI 发布了 Leanstral 1.5下载官方即梦a1，一款专为 Lean 4 形式化验证设计的开源模型，仅 6B 活跃参数百度aiapp，采用 Apache-2.0 协议grok中文版下载。该模型在 miniF2F 基准测试中达到 100%人工智能ai哪个好，在 PutnamBench 上解决了 587/672 道题（87.4%）制作ai的软件，大幅超越 Opus 4.6，而推理成本仅为其七分之一。Leanstral 1.5 在扫描 57 个开源仓库人工智能ai哪个好 时发现了 5 个真实 bug下载官方即梦a1。模型已在 Hugging Face 开放下载。

来源有戏ai | Mistral官方公告al一键脱装入口

2. Anthropic 双线出击：自研药物发现 + Claude Science Beta人工智能ai哪个好

Anthropic 宣布启动 自有药物发现项目al一键脱装入口，针对大型制药公司认为”无利可图”的罕见病领域。Novartis CEO 指出 AI 可将新药开发周期从 12 年缩短至 7-8 年ai是什么东西?，成功率从 8% 翻倍至 16%ai是什么东西?。同时推出 Claude Science Beta下载官方即梦a1——多 Agent AI 工作台，支持基因组学、蛋白质组学，集成 NVIDIA BioNeMo猫箱下载安装，并提供 最高 3 万美元积分al一键脱装入口 给 50 个研究项目。首批客户包括 Novo Nordisk即梦al 和 Allen Institute。

来源百度流畅ai制作

3. 阿里封杀 Claude 全线产品 vs 微软 25 亿美元 AI 部署军团做al视频怎么赚钱

阿里巴巴ai软件哪个比较好 内部要求 7 月 10 日前卸载 Anthropic 全线产品（Sonnet/Opus/Fable/Claude Code），因 Claude Code 被检测到检查用户时区和访问域名，存在安全隐忧。与此同时，微软即梦下载官方 宣布成立 Frontier Company，25 亿美元 + 6000 名工程师百度aiapp 入驻企业客户现场部署 AI。一退一进，折射出中美 AI 产业的截然路径。

来源1快问ai | 来源2ai分析软件

4. NVIDIA 连发 HORIZON + ASPIRE 双 Agent 框架ima是什么软件

NVIDIA 发布 HORIZON制作ai的软件——全自动 RTL 代码生成 Agent，实现 100% 基准完成率人工智能ai哪个好；以及 ASPIREai分析软件——自改进机器人框架，在 LIBERO-Pro 长程任务上达 31% 零样本成功率元宝大模型。ASPIRE 的 Agentic Skill Discovery 让机器人可自主编程、测试、诊断和修复操作技能。

来源元宝大模型