Reading up on Polymath Project
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.
One topic. Every takeSeek and you shall find