Terence Tao advierte sobre una crisis de exceso de demostraciones
En un artículo de doce páginas en arXiv, Terence Tao advierte que, cuando la IA resuelve demostraciones de investigación por decenas o cientos de dólares, las matemáticas pasan de la escasez al exceso.