Las máquinas demuestran, los humanos digieren
Escuchar el artículo · 2:49
Amit Sahai pide multiplicar los matemáticos del mundo: las IA ya generan ideas que nadie tiene tiempo de entender.
En este artículo (4)▼
Un investigador de UCLA propone algo que suena a chiste de facultad: contratar muchísimos más matemáticos. Amit Sahai lo publicó como invitado en el blog de Terence Tao, y habla en serio. Sus sistemas de IA ya producen ideas matemáticas bellas y nuevas, no solo cálculos rápidos. El problema que viene tiene otra forma: las máquinas aciertan más deprisa de lo que podemos entender.
El cuello de botella se da la vuelta
Durante siglos, lo escaso fue demostrar. Ahora Sahai describe un futuro donde las pruebas generadas por IA se acumulan sin que nadie las digiera, y Tao, en su ensayo para el Congreso Internacional de Matemáticos, pide mover el prestigio desde ser el primero en probar hacia verificar, exponer y canonizar. El matemático deja de ser productor para convertirse en digestor. Quien no pueda seguir el ritmo sentirá lo mismo que aquellos estudiantes que abandonaron la carrera porque los más rápidos iban demasiado deprisa, recuerda Sahai. Esta vez los rápidos son máquinas.
El ejemplo de la central de fusión
Sahai plantea el caso límite: una IA diseña una planta de fusión de un teravatio con principios que ningún humano concibió, los robots pueden construirla, la electricidad sería limpia y barata. ¿La construimos sin entenderla? Si la respuesta es no, la comprensión humana se vuelve infraestructura crítica, tan necesaria como el hormigón. Y las infraestructuras críticas se pagan. Ahí está su reclamación laboral: grupos de investigación con financiación sostenida, dedicando trimestres enteros a entender un solo paquete de ideas generado por IA.
Lo que calla la propuesta
Nadie dice quién financia esa multiplicación de matemáticos ni con qué modelo: universidades, estados, las mismas empresas de IA. Tampoco resuelve la objeción frontal del ensayo rival que pide oposición total a la IA en matemáticas. Y conviene rebajar la épica: en Hacker News el post apenas sumó 6 puntos sin comentarios. El debate arde en Filadelfia, no en la portada.
Qué revisar esta semana
El proyecto First Proof, en el que participa Tao, evaluó 10 problemas inéditos y encontró 7 soluciones de IA con calidad publicable. Ese es el dato que sostiene todo lo demás: la avalancha ya empezó. La pregunta para cada disciplina no es si la IA generará resultados, sino si quedará alguien pagado por entenderlos.
Fuente: terrytao.wordpress.com, newscientist.com
