Yang-Hui He's Royal Institution presentation explores how AI is transforming pure mathematics research. He traces AI's history from Descartes to AlphaGo, discusses universal approximation theorems and connectivism, and shares his work on machine learning in string theory and the Calabi-Yau landscape. While AI hasn't solved
Sort: