What's the best way to go from math paper => formalised Lean proof that is reliable these days? Are specialist harnesses even needed?

1. 

   消息推送

   What's the best way to go from math paper => formalised Lean proof that is reliable these days? Are specialist harnesses even needed?

   2小时前

   What's the best way to go from math paper => formalised Lean proof that is reliable these days? Are specialist harnesses even needed?
   
   🌐 链接: https://x.com/EMostaque/status/2114295760326168972
   🏷️ 分组: X｜正在关注
   🕒 时间: 2026-10-25 17:59:25

   X (formerly Twitter)

   Emad (@EMostaque) on X

   What's the best way to go from math paper => formalised Lean proof that is reliable these days?
   
   Are specialist harnesses even needed?

   2小时前