Shing-Tung Yau fédère 1 000 mathématiciens chinois autour d'un modèle d'IA dédié aux maths

Le Fields médaillé Shing-Tung Yau a lancé à Tsinghua la Yau Laboratory Alliance for Mathematics and AI, coalition de huit institutions et près de 1 000 mathématiciens à Pékin, Shanghai, Nanjing, Shenzhen et Hong Kong. Objectif : bâtir un LLM maison spécialisé maths capable de générer des conjectures et de formaliser des preuves vérifiables. L'alliance lancera en 2027 le Journal of AI-Assisted Mathematics pour fixer les standards de validation homme-IA.