Mathématiques

Un chercheur utilisant le langage de formalisation Lean a découvert une faille fondamentale dans un article de physique influent de 2006 portant sur le modèle à deux doublets de Higgs. Joseph Tooby-Smith, de l'université de Bath, a fait cette découverte alors qu'il constituait une bibliothèque de théorèmes de physique vérifiés. Les auteurs originaux ont reconnu l'erreur et prévoient de publier un erratum.

19 mars 2026 Rapporté par l'IA

Le mathématicien Gerd Faltings s'est vu décerner le prix Abel 2026, souvent appelé le Nobel des mathématiques, pour sa démonstration de la conjecture de Mordell en 1983. Cette preuve, proposée en 1922, a permis de résoudre un mystère vieux de 60 ans concernant les solutions de certaines équations. Faltings a également reçu la médaille Fields en 1986 pour la même réalisation.

Une étude d'un physicien sur Chess960, une variante qui randomise les positions initiales des pièces, montre que toutes les configurations ne sont pas également justes pour les joueurs blancs et noirs. En évaluant la complexité à l'aide de logiciels d'échecs, la recherche identifie des positions qui pourraient mieux équilibrer le jeu. Cela remet en question l'hypothèse que la randomisation seule garantit l'équité dans ce format populaire.

29 décembre 2025 Rapporté par l'IA

En 2025, une équipe dirigée par Zaher Hani à l’Université du Michigan a résolu l’un des problèmes de longue date de David Hilbert, reliant de manière fluide les descriptions mathématiques des fluides à différentes échelles. Cette avancée connecte le comportement microscopique des particules aux écoulements macroscopiques comme l’eau dans un évier. Cette réalisation s’appuie sur des techniques de la théorie quantique des champs et promet des perspectives sur la dynamique atmosphérique et océanique.