Erdős 猜想的 AI 证明工厂：ShouqiaoW/erdos 如何用 AI + Lean 攻克数学难题
今天在 GitHub Trending 上看到一个有意思的项目：ShouqiaoW/erdos，它用 AI 辅助「写」数学证明，再用 Lean 把证明机器检查一遍——把传奇数学家 Paul Erd...
数学
Maths, CS & AI Compendium：从零构建数学、计算机与 AI 直觉的开源教材
今天在 GitHub Trending 上看到一个有意思的项目：Maths, CS & AI Compendium，一份主张"先讲直觉、再讲公式、绝不糊弄"的开放...