Emad Mostaque 发问：数学论文转 Lean 形式化证明的最佳方法

Emad Mostaque 在 X 上发问：如今把数学论文转成可靠的形式化 Lean 证明，最佳方法是什么，是否还需要专门的 harness。 该提问未给出方法结论，也未说明适用对象或限制。

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

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