研究者提出联合证明框架生成Lean形式化证明

Pengzhen Lin 等作者提出一种联合证明框架，把候选答案选择、答案补充与形式化证明生成整合为统一的推理过程。 据该研究描述，训练后的证明器单次调用即可选出或提出新答案，并为至少一个答案生成 Lean 形式化证明。该效果来自作者在论文中的表述，尚待独立验证。

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

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