IT之家 – Un message du 12 octobre : selon le Beijing Daily, le 11 octobre, l’Alliance de laboratoires de mathématiques et d’intelligence artificielle de Shing-Tung Yau a été établie à Tsinghua University. Elle s’attachera à la recherche de modèles grands nombres spécialisés en sciences mathématiques, aux preuves formelles et découvertes mathématiques assistées par l’IA, ainsi qu’à l’intelligence artificielle explicable et au calcul intelligent dans des domaines interdisciplinaires. L’objectif est de promouvoir la fusion profonde entre l’IA et les mathématiques.
Selon une publication précédente de IT Home, OpenAI a publié à l’unanimité 722 manuscrits de recherche en mathématiques au début du mois. Ces documents couvrent des domaines de pointe tels que la théorie des nombres, la géométrie algébrique, les sciences informatiques théoriques, la mécanique des fluides et la physique statistique, et ont résolu plusieurs problèmes mathématiques longtemps persistants, provoquant un impact majeur dans le monde des mathématiques.
Le leader de l’alliance et doyen de l’Académie Tsinghua Zhenqiu, Qiu Chengtong, a exprimé ses opinions sur le développement des disciplines mathématiques à l’ère de l’IA lors de la cérémonie de création de l’alliance : « Cela nous oblige à repenser la valeur essentielle des mathématiques, et nous exige de nager dans la vague de l’IA, plutôt que de se cacher. »
Selon les informations fournies, l’alliance a publié plus de 10 résultats clés et orientations de recherche dans le domaine « AI + mathématiques ». Ces travaux portent sur des sujets tels que la géométrie, le calcul quantique et la biologie, et abordent des problèmes scientifiques tels que la conjecture d’Arnold dégradée, la boundedness de modifications minimales, et les sphères homolombides en 7 dimensions.
Dans les recherches menées par le Centre de sciences mathématiques Qiu Chengtong de l’Université Tsinghua et l’Institut de mathématiques et de disciplines interdisciplinaires de Shanghai, intitulées « Sphère holomorphe de 7 dimensions : toutes les structures lisses peuvent supporter des sections dont la valeur est positive partout », l’IA est utilisée pour aider à explorer les stratégies de preuve et simplifier les calculs ; les systèmes algébriques numériques servent à vérifier les identités exactes, les limites des intervalles et à générer des certificats de calcul reproductibles ; les mathématiciens sont chargés de concevoir et de prouver, de vérifier les résultats, d’achever les arguments mathématiques et les articles. De plus, l’IA fournit des idées inspirantes aux scientifiques pour résoudre d’autres problèmes scientifiques, les aidant à mener des calculs expérimentaux préliminaires.
Qiu Chengtong a indiqué que l’alliance rassemble plus de 1000 mathématiciens et chercheurs en recherche. En collaboration avec l’Académie Qiu Chengtong de Tsinghua University, le Centre des sciences mathématiques Qiu Chengtong, l’Institut de mathématiques appliquées de Yanqi Lake à Pékin, le Centre mathématique Chenxing de l’Académie des sciences chinoises, l’Institut de mathématiques et des disciplines interdisciplinaires de Shanghai, le Centre Qiu Chengtong de l’Université du Sud-Est, l’Institut de mathématiques et des disciplines interdisciplinaires de Hetao (Shenzhen) et l’Académie de sciences interdisciplinaires Zhi Zhen de l’Université chinoise de Hong Kong, ces institutions offriront une orientation avancée aux jeunes chercheurs et étudiants, et promouvront activement la coopération entre les ressources, afin d’explorer les voies propres à la construction de grands modèles mathématiques propres à la Chine.