Erdős

Erdős 猜想的 AI 证明工厂：ShouqiaoW/erdos 如何用 AI + Lean 攻克数学难题

今天在 GitHub Trending 上看到一个有意思的项目：ShouqiaoW/erdos，它用 AI 辅助「写」数学证明，再用 Lean 把证明机器检查一遍——把传奇数学家 Paul Erd...