IT之家 El 12 de octubre, según informa el Beijing Daily, el 11 de octubre se estableció en Tsinghua University la alianza del Laboratorio de Matemáticas y Inteligencia Artificial de Shing-Tung Yau. Este grupo se dedicará al desarrollo de modelos grandes en ciencias matemáticas, a la ayuda de IA para la formalización de demostraciones matemáticas y descubrimiento de conjeturas, a la inteligencia artificial explicable y a la computación inteligente en campos interdisciplinarios, con el objetivo de promover la integración profunda entre la IA y las matemáticas.
Según informó IT Home anteriormente, OpenAI el inicio de este mes reveló 722 manuscritos de investigación matemática; su contenido abarca áreas avanzadas como la teoría de números, la geometría algebraica, la ciencia informática teórica, la mecánica de fluidos y la física estadística, y resolvió varios problemas matemáticos de larga duración, causando un gran impacto en el mundo de las matemáticas.
El líder de la alianza y director del Tsinghua Zhenqiu Academy, Qiu Chengtong, habló en la ceremonia de fundación de la alianza sobre su opinión sobre el desarrollo de las disciplinas matemáticas en la era de la IA: “Esto nos obliga a reflexionar nuevamente sobre el valor esencial de las matemáticas”.También nos exige que naveguemos en la ola de la inteligencia artificial, y no escondiéndose.”
Según se informó, la alianza publicó más de 10 resultados clave y direcciones de investigación en “IA + matemáticas”. Estos se centran en áreas como la geometría, el cálculo cuántico y la vida científica, y abarcan problemas como la conjetura de Arnold sobre la degeneración, la boundedness de modificaciones mínimas y la esfera homológica de 7 dimensiones.
En el estudio titulado “Sfera homológica de 7 dimensiones: todas las estructuras líminales pueden soportar una curvatura de sección positiva en todos los puntos”, realizado por el Centro de Ciencias Matemáticas Qiu Chengtong de la Universidad Tsinghua y el Instituto de Matemáticas y Ciencias Interdisciplinarias de Shanghái, la IA se utiliza para ayudar en la exploración de estrategias de demostración y simplificar los cálculos; los sistemas algebraicos computacionales se utilizan para verificar identidades precisas, límites de intervalos y generar certificados de cálculo reproducibles; los matemáticos son responsables de concebir y demostrar, verificar los resultados, completar las demostraciones matemáticas y escribir los artículos. Además, la IA también proporciona inspiración a los científicos para resolver otros problemas científicos, ayudándolos a llevar a cabo cálculos experimentales preliminares.
Qiu Chengtong indicó que la alianza ha reunido a más de 1000 matemáticos y científicos investigadores. Alineando instituciones como el College of求真 de la Universidad de Tsinghua, el Centro de Ciencias Matemáticas Qiu Chengtong, el Instituto de Matemática Aplicada Yanqi Lake en Pekín, el Centro de Matemática Chenxing de la Academia de Ciencias China, el Instituto de Matemática y Ciencias Interdisciplinarias de Shanghái, el Centro Qiu Chengtong de la Universidad de Southeast, el Instituto de Matemática y Ciencias Interdisciplinarias Heitao (Shénzhen) y la Academia de Ciencia en Matemática Interdisciplinaria de la Universidad de Hong Kong, ofrecerán orientación avanzada a jóvenes académicos y estudiantes, y promoverán activamente la integración de recursos para explorar el camino hacia la construcción de modelos matemáticos grandes en China.