2026 年 7 月 2 日 · 星期四人工智能 · 每日要闻已归档 · 允许补录修订
AI 日报 · 2026 年 7 月 2 日 · 星期四
AI BRIEF NOW
第 219 期022026 年 7 月星期四
七月本月 22 期
一二三四五六日
0件大事0条动态0个来源0件一手发布约 1 分钟读完
覆盖窗口（北京时间）：2026-07-02 00:00 至 2026-07-03 00:00（不含结束时刻）。按北京时间自然日归期；迟到内容补回原日期，不作为今天的新消息。
最后内容更新：2026-10-03 21:28 · 第 1 版
暂无通过核验的当日内容，等待更新。
重要补录 · 近期发布
迟到的重要报道与官方发布，保留原文日期与已核实的事件日期；不计入当期新闻与事件统计。
原文 07.02 · 官方
Mistral AI一手原文 07.02
Mistral 发布 Leanstral 1.5 形式化验证模型
Mistral 发布 Leanstral 1.5，一个 Apache-2.0 许可的模型，总参数 119B、激活参数 6B，在形式化验证上大幅升级。它在 miniF2F 上达到 100%，解决 PutnamBench 672 题中的 587 题，并在 FATE-H 取得 87%、FATE-X 取得 34% 的当前最优结果。