Lean AI 形式化排行榜

Lean 社区推出 AI 形式化（AI Formalization）排行榜页面，用于追踪和评估大模型在 Lean 定理证明环境中的表现。该话题已在 Hacker News 上引发讨论，但目前关注度较低。