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

1. Mistral Leanstral 1.5 开源发布：形式化数学基准满分，Apache-2.0 协议即梦下载官方

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

来源百度流畅ai制作 | Mistral官方公告人工智能ai哪个好

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

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

来源ima是什么软件

3. 阿里封杀 Claude 全线产品 vs 微软 25 亿美元 AI 部署军团下载官方即梦a1

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

来源1百度aiapp | 来源2即梦下载官方

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

NVIDIA 发布 HORIZON制作ai的软件——全自动 RTL 代码生成 Agent，实现 100% 基准完成率即梦al；以及 ASPIREal一键脱装入口——自改进机器人框架，在 LIBERO-Pro 长程任务上达 31% 零样本成功率ai分析软件。ASPIRE 的 Agentic Skill Discovery 让机器人可自主编程、测试、诊断和修复操作技能。

来源快问ai