# Médaille Fields Articles associés

Le Centre d'actualités HTX fournit les derniers articles et analyses approfondies sur "Médaille Fields", couvrant les tendances du marché, les mises à jour des projets, les développements technologiques et les politiques réglementaires dans l'industrie crypto.

Un lauréat de la médaille Fields alerte : l'IA pourrait tuer les mathématiques

Le récent lauréat de la médaille Fields, Jacob Tsimerman, a annoncé son départ pour OpenAI, prédisant que l'IA surpassera les humains dans toutes les preuves mathématiques d'ici deux ans. Cette inquiétude est partagée par d'autres mathématiciens de renom comme Terence Tao et Timothy Gowers. Ce dernier craint que l'IA ne "tue" les mathématiques non par stagnation, mais par surabondance : si les systèmes d'IA génèrent un flot ininterrompu et incompréhensible de preuves et de théorèmes, la motivation humaine à maîtriser la discipline profondément pourrait disparaître, laissant une littérature mathématique vaste mais "morte", sans interprètes humains. Cette réflexion fait suite à une évolution personnelle chez Gowers. Initialement sceptique sur la capacité des grands modèles de langage (LLM) à véritablement *comprendre* les mathématiques, il a été frappé par les performances de ChatGPT 5.5 Pro, capable de résoudre des problèmes de niveau doctoral et de proposer des avancées significatives, comme dans le "problème des distances unitaires". Il a également utilisé l'IA pour formaliser automatiquement l'une de ses propres preuves en une semaine, avec un effort minimal. Le débat s'intensifie alors que plus de 3000 mathématiciens, dont Tao et Peter Scholze, ont signé la "Déclaration de Leiden", affirmant que les mathématiques doivent rester une entreprise profondément humaine. Gowers, bien que non signataire, souligne un dilemme plus profond : dans un avenir dominé par l'IA, le plaisir de la découverte et la culture mathématique partagée par la communauté des chercheurs pourraient s'éteindre, même face à une production théorique exponentielle. La question de la place et de la valeur du mathématicien humain à l'ère de l'IA reste ouverte.

marsbitIl y a 16 h

Un lauréat de la médaille Fields alerte : l'IA pourrait tuer les mathématiques

marsbitIl y a 16 h

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

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

marsbit07/24 07:34

Le lauréat de la médaille Fields Wang Hong a également publié à NeurIPS

Le nouveau lauréat de la médaille Fields, Wang Hong, a également publié un article à NeurIPS. Il s'agit d'un travail collaboratif (co-premier auteur) présenté à NeurIPS 2019, intitulé "Column Subset Selection and Nyström Approximation via a New Unified Error Bound under Schatten-p Norm". Cette recherche porte sur une tâche fondamentale en analyse de données et en apprentissage automatique : l'approximation de matrices de faible rang, en particulier via la méthode de sélection de sous-ensembles de colonnes (Column Subset Selection, CSS). L'article améliore significativement la borne d'erreur théorique pour l'algorithme CSS sous la norme de Schatten-p. L'innovation clé réside dans l'application d'un outil classique d'analyse harmonique, le théorème d'interpolation de Riesz-Thorin, pour obtenir des bornes plus strictes pour toutes les valeurs de p, une approche peu courante en informatique théorique à l'époque. Bien que cet article théorique ne présente pas d'expériences à grande échelle, il illustre parfaitement comment des outils mathématiques profonds peuvent résoudre des problèmes fondamentaux en IA. Fait intéressant, cette publication est la seule à ne pas avoir de lien direct sur la page personnelle de Wang Hong. L'article souligne également que les contributions théoriques rigoureuses, comme celle-ci, restent parfaitement alignées avec les critères d'évaluation de NeurIPS, même dans son édition 2026, qui met l'accent sur la rigueur et l'originalité mathématique pour les soumissions de type "Theory". Ce cas démontre que la frontière entre les mathématiques pures et l'intelligence artificielle est poreuse et que des percées peuvent naître de leur intersection.

marsbit07/24 07:24