RecodeX 重构消息，Mistral AI 发布 Leanstral 1.5，一个基于 Apache-2.0 的 Lean 4 代码智能体模型，可解决 672 个 PutnamBench 问题中的 587 个。