Deux dynamiques s'opposent. Tandis que des lauréats de la Médaille Fields redoutent l'appauvrissement de la compréhension mathématique liée aux preuves générées par l'IA, Shing-Tung Yau patronne à Pékin une alliance qui fédère des institutions et vise un millier de chercheurs. Les objectifs chinois incluent des preuves vérifiables par machine et un raisonnement plus transparent.
Réserves en Occident, appels au boycott et volume de soumissions
Vingt-cinq lauréats de la Médaille Fields expriment des craintes concernant l'usage de l'IA en mathématiques, redoutant que des preuves générées automatiquement nuisent à la compréhension et installent une dépendance à des outils qu'ils ne peuvent pas suivre. Terence Tao et Peter Scholze figurent parmi ces signataires. Au sein de la communauté, certains appellent à boycotter les preuves produites par des systèmes d'IA, tandis que d'autres sont frappés par l'ampleur des soumissions automatisées. Parmi les spécialistes qui utilisent déjà ces outils, il n'existe pas de consensus sur la capacité des modèles à produire une véritable perspicacité mathématique, ou à simplement appliquer des méthodes connues, ni même sur l'importance de cette distinction. Le scepticisme est présenté comme dominant dans les pays occidentaux.
Tu suis la course aux modèles IA ?
Chaque sortie (GPT, Claude, Gemini, Mistral…) décryptée le soir même, en 5 min. Gratuit.
Inclus dès l'inscription : notre sélection des meilleurs guides & comparatifs IA.
Choisis ton rythme
Gratuit · Pas de spam · Désabonnement en 1 clic
Alliance chinoise pilotée par Yau et objectifs techniques annoncés
À Pékin, Shing-Tung Yau, lauréat de la Médaille Fields, a lancé dimanche le Yau Laboratory Alliance for Mathematics and Artificial Intelligence avec des mathématiciens chinois de premier plan. Cette alliance regroupe huit institutions et vise, selon le South China Morning Post, à constituer un réseau de plus de 1 000 chercheurs. Yau a également averti que la Chine accuse un retard par rapport aux États-Unis. Les priorités affichées sont le développement de modèles d'IA spécialisés pour les mathématiques, la création de preuves vérifiables par machine et la conception d'un raisonnement d'IA transparent.
