Recherche

La conjecture de George Birkhoff énoncée en 1941 postulait que toute pseudo-rotation analytique du cylindre (transformation sans points périodiques préservant l'aire) devrait se ramener, par changement de paramétrisation, à une rotation irrationnelle. Cette conjecture prolongeait un résultat d'Arnaud Denjoy de 1932 sur le cercle. Pierre Berger, directeur de recherche au CNRS et à l'Institut de mathématiques de Jussieu, vient de publier dans Annals of Mathematics un article qui démontre que cette conjecture est fausse.

Berger construit explicitement des pseudo-rotations analytiques qui ne peuvent pas être converties en rotations topologiques, indépendamment du changement de paramétrisation choisi. Certains de ces contre-exemples possèdent une propriété spectaculaire : la trajectoire typique d'un point parcourt uniformément toutes les régions du cylindre, ce qui est impossible pour une rotation. D'autres présentent une haute émergence, notion mesurant la complexité statistique d'un système — leur dynamique nécessite un nombre extraordinairement grand de comportements statistiques pour être décrite.

Ces résultats révèlent que l'absence de points périodiques n'impose pas un comportement simple, même dans le cadre très restrictif d'une transformation analytique, conservative et sans aucun point périodique. Ils s'inscrivent dans une série de travaux sur les dynamiques sauvages, montrant que de nombreux systèmes — polynomiaux, hamiltoniens — recèlent une richesse statistique insoupçonnée.

L'informatique a mécanisé de nombreuses tâches, mais elle pose un défi majeur : garantir que les programmes font ce qu'ils sont censés faire. Un résultat fondamental de l'informatique théorique établit qu'il est impossible de prédire à l'avance si un programme quelconque va terminer ou entrer dans une boucle infinie — c'est l'indécidabilité du problème de l'arrêt, une limite incontournable enseignée dans les masters d'informatique.

Pour assurer la correction des programmes face à un nombre infini de configurations possibles, les informaticiens s'appuient sur des preuves mathématiques rigoureuses. La démonstration par récurrence, héritée des mathématiques grecques, permet d'établir des propriétés valables pour tous les entiers naturels. Cela a conduit à formaliser la notion de preuve elle-même grâce à la logique mathématique et à la théorie de la démonstration.

Cependant, deux problèmes majeurs subsistent : les démonstrations humaines, notamment les plus longues, risquent de contenir des erreurs non détectées (comme ce fut le cas pour certains problèmes de Hilbert). C'est pourquoi les informaticiens modernes ont développé des outils pour vérifier mécaniquement les preuves formelles par ordinateur, ouvrant une nouvelle approche de la validation mathématique.

Polytechnique a annoncé la création d'un Institut de Mathématiques et des Sciences Fondamentales, financé par un don de 50 millions d'euros de Bernard Arnault via sa société familiale Agache. Le nouvel établissement, qui portera le nom du milliardaire et ancien élève de l'école, accueillera environ 400 enseignants-chercheurs, doctorants et post-doctorants d'ici 2030.

Ce projet répond à un enjeu stratégique : consolider l'avantage historique français en mathématiques fondamentales et le convertir en supériorité industrielle face aux États-Unis et à la Chine. Les mathématiques sont essentielles aux domaines technologiques contemporains — intelligence artificielle, calcul quantique, cryptographie et cybersécurité — où elles constituent les fondations théoriques et applicatives. L'institut accueillera aussi une « Résidence mathématique » destinée à attirer des chercheurs internationaux de premier plan.

Ce mécénat illustre l'importance croissante de la philanthropie privée dans le financement de la recherche en France, tout en soulevant des questions sur l'indépendance scientifique et l'équilibre entre intérêt général et influence des grands acteurs économiques. Polytechnique, institution militaire et grande école d'ingénieurs, occupe une place centrale dans ce débat.

Depuis l'Antiquité, les nombres premiers fascinent et intriguent les mathématiciens. Malgré des millénaires d'études, leur distribution le long de la droite numérique semblait aléatoire et imprévisible. Même le tamis d'Ératosthène, inventé au IIIe siècle avant J.-C., reste l'une des meilleures méthodes pour les détecter, illustrant la profondeur du défi.

Une équipe de chercheurs dirigée par Ken Ono vient de révéler un lien remarquable : les nombres premiers sont en réalité détectables via une infinité de fonctions issues des partitions entières (les manières de décomposer un nombre en somme d'autres entiers). Plus précisément, ces nombres sont solutions d'équations diophantiennes spécialement construites à partir de ces fonctions de partition. Cette connexion inattendue relie deux domaines mathématiques apparemment distincts : la théorie des nombres premiers et la combinatoire.

Cette découverte est purement théorique et ne menace pas la sécurité des systèmes cryptographiques modernes, qui s'appuient sur la difficulté à factoriser les grands nombres premiers. Néanmoins, elle marque une étape majeure dans la compréhension des fondations des mathématiques et pourrait s'avérer cruciale à l'ère de l'informatique quantique.

Depuis sa formulation en 1925, l'équation de Schrödinger reste incontournable en mécanique quantique, mais elle est quasi impossible à résoudre exactement pour la plupart des systèmes physiques. Au-delà du cas simple de l'atome d'hydrogène, les physiciens doivent recourir à des approximations. La théorie de la fonctionnelle de la densité (DFT), fondée dans les années 1960 par Hohenberg et Kohn, a constitué une avancée majeure en réduisant le problème à la densité des particules plutôt qu'à leur fonction d'onde complète.

Une équipe française vient de proposer une approche novatrice : remplacer le vrai système à étudier par un système équivalent sans réalité physique mais mathématiquement plus traitable. Les premiers résultats suggèrent que cette stratégie radicale pourrait permettre de modéliser des systèmes quantiques complexes restés hors de portée jusqu'à présent. Cette nouvelle approche s'inscrit dans la quête centenaire d'approximations toujours plus efficaces pour contourner les obstacles de calcul.

Depuis les années 1970, physiciens et mathématiciens rêvent d'une théorie unifiée englobant les quatre interactions fondamentales : forces nucléaires forte et faible, électromagnétisme et gravitation. Pourtant, ce projet bute sur une difficulté conceptuelle majeure : la relativité générale d'Einstein décrit la gravité comme géométrie de l'espace-temps, tandis que les trois autres forces relèvent de théories quantiques reposant sur un espace-temps fixe. Ces deux visions demeurent irréconciliables.

Mais au-delà des obstacles physiques, une limite mathématique pourrait s'opposer à ce rêve. Les théorèmes d'incomplétude établis par Kurt Gödel en 1931 suggèrent que toute théorie formelle suffisamment riche ne peut être à la fois complète et cohérente. Dès lors, une « théorie du tout » pourrait en principe exister, mais il serait impossible de prouver que nous l'avons trouvée, ou même de la valider exhaustivement. La question se pose ainsi : une telle théorie est-elle simplement hors de notre portée pratique, ou mathématiquement interdite ?

Située au coeur du campus Luminy à Marseille, la bastide rose du Cirm (Centre international de rencontres mathématiques) possède une histoire riche. Propriété de l'abbaye Saint-Victor au Moyen Âge, le lieu a successivement accueilli une chapelle avant d'être acquis par la famille Fabre, richissimes armateurs marseillais, qui en faisaient leur maison de vacances. Pendant la Seconde Guerre mondiale, la famille se voit retirer sa propriété en raison de sa collaboration avec le régime nazi.

Après 1945, le domaine devient propriété publique et se transforme en 1966 en pôle universitaire avec l'établissement d'une Faculté de Sciences. C'est dans ce cadre qu'a été créé le Cirm, transformant l'ancienne résidence en centre de recherche reconnu internationalement. Aujourd'hui, le site accueille des mathématiciens du monde entier, conjuguant ainsi richesse historique et rayonnement scientifique.

Tensordyne, startup germano-américaine, a annoncé le 15 juin le tape-out de sa puce Napier, conçue pour accélérer les calculs d'IA avec une approche mathématiquement différente. Au lieu d'utiliser des multiplications, la puce s'appuie sur un concept du mathématicien John Napier (1614) : les logarithmes convertissent les multiplications en additions. Puisqu'un additionneur consomme beaucoup moins d'énergie et d'espace qu'un multiplieur, Tensordyne promet théoriquement 17 fois plus de tokens par watt et 13 fois plus par rack qu'un système Nvidia NVL72.

Le défi technique majeur était la conversion entre formats flottants classiques et logarithmiques, qui coûtait en temps et précision. Tensordyne affirme avoir résolu ce problème avec un système de nombre maison appelé Pareto. La puce sera gravée en 3 nm chez TSMC avec une enveloppe thermique de 300 W contre 1400 W pour le GPU Blackwell Ultra de Nvidia.

Cependant, prudence s'impose : ces performances proviennent exclusivement de simulations internes. Les systèmes réels ne seront disponibles qu'à fin 2025, avec livraisons commerciales prévues au T2 2027. Tensordyne revendique 200 millions de dollars de « demande prévisionnelle » et plus d'une douzaine de lettres d'intention (non des commandes fermes), principalement de petits acteurs comme Cirrascale Cloud Services. D'autres startups ont autrefois proposé des approches alternatives au calcul traditionnel sans succès durable.

L'effet Hall plan était considéré comme un indicateur fiable de propriétés quantiques exotiques : en envoyant un courant dans un matériau plat et en observant la tension produite sous un champ magnétique, les chercheurs pouvaient identifier les matériaux aux caractéristiques spéciales. Certaines observations présentaient une symétrie ternaire (répétition tous les 120°), ce que les modèles classiques ne parvenaient pas à expliquer.

L'équipe de l'Université de Kobe a découvert que les calculs précédents n'étaient pas poussés assez loin. Une analyse approfondie de la théorie classique du transport électronique montre qu'une symétrie ternaire peut effectivement apparaître dans des matériaux ordinaires, selon l'orientation cristalline de l'échantillon et l'alignement de la sonde de mesure. Cette découverte révèle un « angle mort » tant théorique qu'expérimental.

Le résultat est constructif : il permet aux physiciens de distinguer plus précisément les vrais matériaux aux propriétés quantiques inhabituelles des faux positifs. Parallèlement, il ouvre aux concepteurs technologiques l'accès à une classe beaucoup plus vaste de matériaux classiques pour fabriquer des capteurs magnétiques ou d'autres dispositifs exploitant cet effet, sans se limiter aux matériaux exotiques.