arXiv提出MolLean化学推理语言
发生了什么
据arXiv论文介绍，研究团队提出MolLean，一种用于化学推理的过程可验证语言。该语言基于Layered Lean内核，通过显式分子状态检查状态转换。配合MolLean-MCP接口，在Qwen3.6-27B模型上实现了优于直接思维链的性能。
报道与来源
1 篇发布方数量不等于独立核验数量。同稿的多个入口保留在对应报道中。
来源关系与证据边界
按已记录的来源角色展示；连线仅表示原生身份流程确认的同稿入口，不表示独立佐证或跨报道引用。
- 一手材料1 个发布入口