generalfactneutralMathematics and AI collaboration is an active area of discussion among leading mathematiciansThomas Wolf26 Jul 2026https://x.com/Thom_Wolf/status/2081129385730449660