Una alianza, y una advertencia
Los principales matemáticos de China han formado una alianza para introducir la inteligencia artificial en la investigación matemática, y el medallista Fields que la encabeza dice que el país va por detrás.
La Alianza del Laboratorio Yau para las Matemáticas y la Inteligencia Artificial se presentó el domingo en Pekín, según informó el South China Morning Post. La impulsa Shing-Tung Yau, que ganó la Medalla Fields en 1982, y que advirtió de que China se está quedando atrás respecto a Estados Unidos en el uso de la IA para hacer avanzar la ciencia de frontera.
La alianza reúne a ocho instituciones destacadas y aspira a formar una red de más de 1.000 científicos.
Qué dice que va a construir
Tres cosas, según el relato que el SCMP hace del acto. La primera son modelos de IA especializados en matemáticas, frente a modelos de propósito general dirigidos a problemas matemáticos. La segunda es usar esos modelos para generar conjeturas y formalizar demostraciones: las verificables por máquina, en las que un asistente de pruebas comprueba cada paso en lugar de un revisor leyendo prosa. La tercera es construir sistemas cuyo razonamiento se pueda interpretar con más facilidad.
Ese tercer objetivo responde a la objeción más ruidosa del campo. La queja sobre las matemáticas generadas por máquinas no suele ser que los resultados estén mal, sino que una demostración que nadie puede seguir no enseña nada a nadie. Una alianza que pone el razonamiento interpretable en su lista fundacional admite el problema y propone resolverlo por ingeniería.
El momento
El lanzamiento cae en medio de una discusión. A principios de octubre OpenAI publicó lo que llamó avances de la IA en matemáticas, y la reacción de parte de la comunidad matemática fue del malestar a la petición de dejar de colaborar con la empresa. La alianza de Yau es otra respuesta al mismo hecho: no un boicot, sino un intento de organizar la capacidad propia del campo en vez de consumir la ajena.
También es una respuesta nacional. El encuadre de Yau es competitivo —Estados Unidos va por delante y China debería alcanzarlo—, lo que coloca a la IA matemática junto a los chips y los modelos entre las cosas que los Estados miden unos frente a otros.
Lo que todavía no se sabe
El reportaje del SCMP no nombra a las ocho instituciones, y la alianza no ha publicado ni agenda de investigación, ni cifra de financiación, ni calendario. La meta de más de 1.000 científicos es una aspiración, no una lista de miembros.
Tampoco hay modelo. Una alianza para construir sistemas específicos de matemáticas es una declaración de intenciones; el campo ya tiene asistentes de pruebas, proyectos de formalización y, de Google DeepMind y OpenAI, sistemas que han producido resultados sobre problemas abiertos. Lo que Yau propone es un programa interno para hacer ese trabajo dentro de China, coordinado por instituciones chinas.
Qué vigilar
La señal útil no será un anuncio. Será si los miembros de la alianza empiezan a publicar demostraciones formalizadas: resultados comprobados por un asistente de pruebas y difundidos con el artefacto legible por máquina, en lugar de descritos en una nota de prensa.
Ese es el producto que implican los objetivos declarados de la propia alianza, y el único que cualquiera desde fuera podría verificar.
