AI早报 | 2026年7月5日（周日）：Mistral开源数学神模型、Anthropic双线进军制药grok中文版下载

1. Mistral Leanstral 1.5 开源发布：形式化数学基准满分，Apache-2.0 协议制作ai的软件

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

来源ima是什么软件 | Mistral官方公告百度流畅ai制作

2. Anthropic 双线出击：自研药物发现 + Claude Science Beta即梦al

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

来源下载官方即梦a1

3. 阿里封杀 Claude 全线产品 vs 微软 25 亿美元 AI 部署军团人工智能ai哪个好

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

来源1制作ai的软件 | 来源2百度aiapp

4. NVIDIA 连发 HORIZON + ASPIRE 双 Agent 框架制作ai的软件

NVIDIA 发布 HORIZON即梦al——全自动 RTL 代码生成 Agent，实现 100% 基准完成率即梦下载官方；以及 ASPIRE做al视频怎么赚钱——自改进机器人框架，在 LIBERO-Pro 长程任务上达 31% 零样本成功率做al视频怎么赚钱。ASPIRE 的 Agentic Skill Discovery 让机器人可自主编程、测试、诊断和修复操作技能。

来源百度ai智能云