Qiu Chengtong invite Wang Hong et Deng Yu à enseigner en Chine, après 20 ans de rivalité entre Qinghua et Beida, on s'aperçoit que l'adversaire n'était pas l'autre
Le 23 juillet, les mathématiciens chinois Wang Hong et Deng Yu ont remporté la médaille Fields. Anciens camarades de promotion à l'Université de Pékin (PKU), ils ont résolu respectivement la conjecture de Kakeya en 3D et un problème de Hilbert. Peu après, le célèbre mathématicien Shing-Tung Yau les a invités à enseigner à l'Université de Tsinghua.
Cet événement illustre la rivalité de longue date entre PKU et Tsinghua en mathématiques, née après la restructuration des départements en 1952, qui a laissé Tsinghua sans département de mathématiques pendant 30 ans. PKU est restée leader incontestée pendant des décennies, formant une "génération dorée" de mathématiciens.
La relation entre Yau et PKU s'est détériorée en 2005 après ses critiques publiques. Il a ensuite rejoint Tsinghua en 2009, y créant des centres d'excellence et des concours pour attirer les meilleurs talents, comme le programme "Qiu-zhen" recrutant dès le collège.
La compétition s'étend à tous les niveaux : recrutement agressif de prodiges olympiques, chasse aux professeurs de renom (comme le lauréat Fields Caucher Birkar à Tsinghua, ou Ding Jian à PKU), et course à l'innovation en IA mathématique. Tsinghua collabore avec des entreprises comme Tencent sur l'algorithme STARE, tandis que PKU travaille sur des modèles de géométrie.
Lors du dernier concours Qiu Chengdong, les étudiants de PKU ont dominé les prix individuels. Yau, bien que rival, a salué cette excellence, soulignant que son objectif ultime est l'essor des mathématiques chinoises.
Le paysage évolue avec l'IA. Des modèles comme Fable 5 résolvent désormais des conjectures séculaires. Tsinghua mène dans les modèles commerciaux (comme Kimi), tandis que PKU se concentre sur la recherche fondamentale. Comme le note Terence Tao, l'ère de la "preuve surabondante" générée par l'IA est arrivée, redéfinissant le futur de la discipline et relativisant les rivalités traditionnelles.
marsbit07/24 07:34
