Reading up on proof-assistants
1 deep · digging since jun 12
- How Terry Tao Became an Evangelist for AI in Math
Terry Tao champions combining human insight, AI, and the Lean proof assistant to enable massive, verified mathematical collaborations.
Short for Read Later. Save links from any browser or phone. Click to save, read to clear. The full tour
One topic. Every takeSeek and you shall find