How Terry Tao Became an Evangelist for AI in Math
kept by eddie
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 line. Many voicesSeek and you shall find