2025 年 4 月 15 日 · 星期二人工智能 · 每日要闻已归档 · 允许补录修订
AI 日报 · 2025 年 4 月 15 日 · 星期二
AI BRIEF NOW
第 75 期152025 年 4 月星期二
四月本月 9 期
一二三四五六日
0件大事0条动态0个来源0件一手发布约 1 分钟读完
覆盖窗口（北京时间）：2025-04-15 00:00 至 2025-04-16 00:00（不含结束时刻）。按北京时间自然日归期；迟到内容补回原日期，不作为今天的新消息。
最后内容更新：2026-10-03 21:28 · 第 1 版
暂无通过核验的当日内容，等待更新。
重要补录 · 近期发布
迟到的重要报道与官方发布，保留原文日期与已核实的事件日期；不计入当期新闻与事件统计。
原文 04.15 · 官方
Kimi 官方 Blog一手原文 04.15Kimi 发布 Kimina-Prover Preview 形式化推理模型
Kimi 发布 Kimina-Prover Preview，称其为首个能以类人方式推理并在 Lean 4 语言中严格证明数学定理的大型形式化推理模型。官方同时列出了该模型设计与训练的关键要点，并附论文链接 http://arxiv.org/abs/2504.11354。