Microsoft 用 RetroChimera 提升小分子逆合成预测的规模化能力
Microsoft Research 的逆合成模型 RetroChimera 发表于 Nature，结合 Transformer 架构的 R-SMILES 2 与基于 GNN 的 NeuralLoc 两个子模型，用 learning-to-rank 集成策略生成合成路线。
#开源/仓库
#开源/仓库
今日 0 条Microsoft ResearchAI 评分4646
Google DeepMind精选AI 评分7878 Google DeepMind 开源 WeatherNext 气旋预报模型，提前量超过 24 小时
Google DeepMind 在 Nature 发表论文并开源 WeatherNext 2 和 WeatherNext Cyclones 模型，单一 AI 模型即可预测气旋路径、强度和风结构，平均多出超过 24 小时的预报提前量，相当于过去 20 年趋势下约十年的气象进步。
推荐理由：Google DeepMind 官方发布并开源了模型权重，读者可以结合 Nature 论文数据评估其对气旋预报工作流的实际改进。
Mistral AI精选AI 评分6262 Mistral 发布 Apache-2.0 开源模型 Leanstral 1.5，6B 激活参数聚焦形式化证明
Mistral 发布 Leanstral 1.5，Apache-2.0 许可，总参数 119B、激活 6B，主打 Lean 4 形式化证明工程。模型饱和 miniF2F，解出 587/672 PutnamBench 问题，在 FATE-H 达 87%、FATE-X 达 34%；经 mid-training、SFT 和 CISPO 强化学习三阶段训练。
推荐理由：原文给出基准成绩、成本对比和真实代码验证案例，读者可以据此评估开源形式化推理模型的实用边界。
Mistral AIAI 评分5555 Mistral 发布开源代码智能体 Leanstral，面向 Lean 4 形式化证明
Mistral 发布 Leanstral，称其为首个面向 Lean 4 的开源代码智能体，权重采用 Apache 2.0 许可证，提供 120B-A6B 稀疏架构（6B 激活参数），并集成于 Mistral Vibe 及免费 API 端点 labs-leanstral-2603。
Hugging Face BlogAI 评分4646 Kimina-Prover-RL：开源 Lean 4 形式化定理证明训练管线发布
Numina 与 Kimi 开源 kimina-prover-rl，一个基于 DeepSeek-R1 推理范式、与 Verl 完全兼容的 Lean 4 形式化定理证明训练管线，采用 GRPO 强化学习并配套 kimina-lean-server 验证服务。
Hugging Face Blog精选AI 评分6464 Hugging Face Open-R1 项目一周进展：复现 DeepSeek-R1 评测、训练管线与合成数据
Hugging Face 发布 Open-R1 项目启动一周后的进展更新，目标复现 DeepSeek-R1 缺失的训练管线与合成数据。
推荐理由：官方一周进展报告给出可复现的评测数字、GRPO 训练管线与大规模推理生成的具体配置，读者可以直接沿用其工程做法。
Mistral AI精选AI 评分6161 Mistral AI 发布非生产许可 MNPL，Codestral 首次采用
Mistral AI 推出 Mistral AI 非生产许可（MNPL），允许开发者将技术用于非商业目的和科研工作，Codestral 当日即在该许可下发布。公司表示将继续在 Apache 2.0 下发布模型和代码，逐步形成两个许可家族并行，以在开放原则与商业化之间取得平衡。
推荐理由：官方说明 MNPL 许可的适用范围和与 Apache 2.0 并行的策略，可帮助开发者判断商用与研究的合规边界。