Emad· @EMostaque · X·· 3 小时前AI 评分22
AI 导读
如今从数学论文到可靠的形式化 Lean 证明，最佳方法是什么？ 还需要专门的 harness 吗？
正文 · 原文
What's the best way to go from math paper => formalised Lean proof that is reliable these days?
Are specialist harnesses even needed?
来源：Emad · x.com
Emad