Resumen:
La Alianza del Laboratorio de Matemáticas e Inteligencia Artificial de Yau se estableció en la Universidad de Tsinghua el 11 de octubre. Planea reunir a unos 1.000 matemáticos e investigadores para promover la integración de la inteligencia artificial, las matemáticas y la investigación interdisciplinaria. El profesor Qiu Chengtong, ganador de la medalla Fields y catedrático de la Universidad de Tsinghua, es el líder de la alianza. Dijo que China todavía está por detrás de Estados Unidos en el uso de la IA para promover la ciencia de vanguardia, y que sus capacidades nacionales de investigación científica en modelos grandes aún no están al nivel mundial. La alianza espera integrar talentos y recursos para desarrollar de forma independiente modelos especiales para las ciencias matemáticas.
La alianza está establecida conjuntamente por ocho instituciones, incluida la Academia Qiuzhen de la Universidad de Tsinghua, el Centro de Ciencias Matemáticas Yau Shing-tung de la Universidad de Tsinghua, el Instituto de Matemáticas Aplicadas del Lago Yanqi de Beijing, el Centro de Matemáticas Morningside de la Academia China de Ciencias, el Instituto de Matemáticas y Estudios Interdisciplinarios de Shanghai, el Centro Yau Shing-tung de la Universidad del Sureste, el Instituto Hetao de Matemáticas y Ciencias Interdisciplinarias (Shenzhen) y el Instituto Zhizhen de Matemáticas Interdisciplinarias de la Universidad China de Hong Kong. El primer laboratorio de matemáticas e inteligencia artificial está ubicado en la Academia Tsinghua Qiuzhen y se estableció conjuntamente con el Centro de Ciencias Matemáticas de Yau; La alianza también planea construir laboratorios en Beijing, Shanghai, Nanjing, Shenzhen y Hong Kong para colaborar compartiendo recursos de capacitación modelo, bibliotecas de matemáticas formales y plataformas de potencia informática.
El enfoque actual de la alianza incluye el desarrollo de grandes modelos específicos de matemáticas, el uso de IA para ayudar al descubrimiento de conjeturas y la prueba formal, el desarrollo de inteligencia artificial explicable y la promoción de la intersección de las matemáticas y la computación cuántica, las ciencias de la vida, las finanzas y otros campos. La alianza también planea llevar a cabo capacitación de talentos y cooperación internacional, y establecer la "Revista de Matemáticas Asistidas por IA". El evento de inauguración anunció más de diez resultados y direcciones de investigación, que involucran geometría, computación cuántica, ciencias de la vida, así como problemas matemáticos como la conjetura degenerada de Arnold y la conjetura de Sylvester. La madurez de estos proyectos no es la misma. Algunas son direcciones de investigación y no pueden considerarse resultados completos y revisados por pares.
Un caso que ha llamado la atención es la cooperación entre el Centro de Ciencias Matemáticas Tsinghua Yau y el Instituto de Matemáticas y Estudios Interdisciplinarios de Shanghai para estudiar esferas homotópicas de siete dimensiones. El artículo de investigación, actualmente disponible como preimpresión, informa que las esferas homotópicas de siete dimensiones suaves para las 28 clases de difeomorfismos orientados construyen métricas de Riemann con curvatura de sección transversal estrictamente positiva. Según la alianza, la IA ayuda al equipo a explorar estrategias de prueba y simplificar los cálculos; El sistema de álgebra computacional se utiliza para verificar identidades y límites de intervalos, y generar certificados de cálculo reproducibles. La concepción de la investigación, la prueba y la demostración final todavía están a cargo de los matemáticos, por lo que la IA no prueba este resultado de forma independiente.
La capacidad de la IA para generar resultados matemáticos en lotes también ha desencadenado debates sobre los estándares académicos. Xi Nanhua, académico de la Academia de Ciencias de China y presidente de la Sociedad Matemática de China, señaló que el ritmo con el que las empresas publican resultados generados por IA entra en conflicto con la tradición de verificación rigurosa y revisión por pares en la comunidad matemática, y puede filtrarse contenido erróneo que no haya sido probado completamente; Él cree que la comunidad matemática y la industria de la inteligencia artificial deben establecer reglas conjuntas reconocidas por todas las partes. Recientemente, OpenAI ha revelado un lote de manuscritos matemáticos y materiales de prueba generados por modelos internos. Su almacén oficial lista actualmente 719 manuscritos, divididos en 372 grupos, y explica que los resultados se encuentran en diferentes etapas de verificación. Aproximadamente el 42% de los resultados principales han sido formalizados por Lean y aún puede haber problemas con los resultados que aún no se han formalizado. Esto también destaca que, además de mejorar la eficiencia de la exploración, la investigación matemática asistida por IA también debe resolver los problemas de verificación, reproducción y atribución de responsabilidad.
Qiu Chengtong cree que la IA puede generar una gran cantidad de pruebas y resultados de cálculos, pero plantear nuevas preguntas interesantes y formar la intuición matemática y el juicio creativo siguen siendo funciones importantes de los investigadores humanos. Una vez establecida la alianza, la clave para su trabajo posterior será cómo transformar las capacidades de los modelos grandes en descubrimientos matemáticos verificables y establecer estándares académicos coincidentes.
Comentarios