MolLean：面向化学推理的过程可验证语言

Jiatong Li 与 Yatao Bian 发布论文提出 MolLean——一种将化学推理锚定在显式分子状态上的过程可验证语言。其核心设计是通过基于 Lean 的分层内核检查分子状态转移与断言，并用类型化 witness 协议区分原生结构检查与外部测量，同时提供 MolLean-MCP 工具接口。 论文将 MolLean 定位为面向化学推理的可过程验证方案，即推理步骤可被内核逐步检查，而非仅看最终结论。这一区分意味着原生结构检查与依赖外部测量的环节在验证中被分别对待。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。