No sé nada sobre esta área de las matemáticas, pero el hecho de que los matemáticos serios estén hablando de lo bien que los sistemas de IA los han estado ayudando es muy impresionante.