Actualités autour des maths

R.E.

Bonjour
Je propose d'ouvrir un fil sur des actualités autour des mathématiques. Ce sont des liens que je poste sur Reddit, qui ont un certain succès mais qui souvent sont en anglais.
Si une actualité en particulier génère des débats ou une longue discussion technique, je vous demanderais d’ouvrir un fil dédié.

Actu d'hier : Cédric Villani rejoint l’IHES - Il sera titulaire de la Chaire IHES-Université de Lyon en analyse et partagera son temps entre les deux institutions
https://www.ihes.fr/cedric-villani-rejoint-ihes/

David Asperó et Ralf Schindler reçoivent la médaille Hausdorff 2022 : https://twitter.com/settheorytalks/status/1564278920261812235
Pour : Martin's Maximum++ implies Woodin's axiom (*)
https://projecteuclid.org/journals/annals-of-mathematics/volume-193/issue-3/Martins-Maximum-implies-Woodins-axiom-/10.4007/annals.2021.193.3.3.short
Ou sur ArXiv : MM++ implies (∗)
https://arxiv.org/abs/1906.10213
David Asperó
Ralf Schindler

Un couple résout le problème d'interpolation : Old Problem About Mathematical Curves Falls to Young Couple (Quanta)
L'article : Interpolation for Brill--Noether curves
Eric Larson
Isabel Vogt
https://arxiv.org/abs/2201.09445

Un algorithme post-quantique cassé : ‘Post-Quantum’ Cryptography Scheme Is Cracked on a Laptop (Quanta)
L'article : An efficient key recovery attack on SIDH (preliminary version)
Wouter Castryck, KU Leuven
Thomas Decru, KU Leuven
https://eprint.iacr.org/2022/975

Une grande avancée en relativité générale : At Long Last, Mathematical Proof That Black Holes Are Stable (Quanta)
L'article : Wave equations estimates and the nonlinear stability of slowly rotating Kerr black holes (912 pages et ce travail se base sur des précédents qui ont aussi plusieurs milliers de pages, c'est une preuve par contradiction)
https://arxiv.org/abs/2205.14808
Elena Giorgi
Sergiu Klainerman
Jérémie Szeftel (un français )

R.E.

Duolingo, la célèbre application destinée à l'apprentissage des langues, se lance en beta sur les maths. C'est un niveau CM1 mais l’application prépare actuellement des leçons pour les niveaux plus élevés.

Pour s'inscrire à la beta : https://fr.duolingo.com/math

Sources : https://www.theverge.com/2022/8/26/23319398/duolingo-math-app-beta-launch-duocon-2022
https://www.blog-nouvelles-technologies.fr/238755/voici-duolingo-math-son-application-mathematiques-tant-attendue/

R.E.

Un article qui date un peu (18 juillet) d'Ars Technica sur l'IHES : How one institution keeps claiming math’s highest award

R.E.

Les assises des mathématiques auront lieu du 14 au 16 novembre à la maison de l’UNESCO.

https://www.assises-des-mathematiques.fr/

Les 7 thèmes étudiés: https://www.assises-des-mathematiques.fr/groupes-de-travail

Le projet des Assises est porté par l'Institut national des sciences mathématiques et de leurs interactions (Insmi)

R.E.

Un communiqué de presse du CNRS d'hier en lien avec les assises des mathématiques : 18% du PIB et 13% des emplois en France impactés par les mathématiques

https://www.cnrs.fr/fr/18-du-pib-et-13-des-emplois-en-france-impactes-par-les-mathematiques

Lien vers l'étude : https://www.assises-des-mathematiques.fr/etude-d-impact
https://www.insmi.cnrs.fr/sites/institut_insmi/files/download-file/Etude_impact_economique_mathematiques.pdf

R.E.

Jean-Pierre Serre a 96 ans aujourd'hui, il est lauréat de la médaille Fields en 1954 à 27 ans et est toujours la plus jeune personne à avoir été médaillée. Il est aussi le premier lauréat du prix Abel en 2003.

https://twitter.com/claudinemonteil/status/1570304018563334144

https://fr.wikipedia.org/wiki/Jean-Pierre_Serre

Fin de partie

Jean Pierre Serre est né la même année que la reine Elisabeth II qui vient de nous quitter. D'une certaine manière JP est aussi une tête couronnée, mais en mathématiques.

R.E.

Les gagnants du Breakthrough Prize 2023 ont été annoncés hier. Pour les mathématiques c'est Daniel A. Spielman pour : "For breakthrough contributions to theoretical computer science and mathematics, including to spectral graph theory, the Kadison-Singer problem, numerical linear algebra, optimization, and coding theory."

Il y a aussi les gagnants du "2023 New Horizons in Mathematics Prize" et "2023 Maryam Mirzakhani New Frontiers Prize" : Ana Caraiani, Ronen Eldan, James Maynard, Maggie Miller, Jinyoung Park, Vera Traub.

https://breakthroughprize.org/News/73

umrk

Bon, la nouvelle n'est pas toute fraiche (elle date de Mai) mais le fil n'était pas alors créé...), Marcel Boiteux a 100 ans :

https://fr.wikipedia.org/wiki/Marcel_Boiteux

Marcel Boiteux, Normalien agrégé de Mathématiques, a porté sur ses épaules le Programme électronucléaire français, en réussissant le prodige de mettre en service 6 à 7 réacteurs par an (le dernier est en construction depuis dix ans, on attend encore ...).

C'est lui qui a défini les principes de la tarification de l'électricité (eh oui, ce sont des maths ...)  (avant la privatisation ..).

Il a échappé miraculeusement, lui et sa famille, à un attentat à l'explosif qui a ravagé son appartement, par des "militants" antinucléaires.

Son salaire devait être je pense une petite fraction de ce qu'est actuellement le salaire du patron d'EDF .....

Il a toujours dit que l'ouverture à la concurrence de l'électricité, après les promesses de baisses de prix, se solderait par des hausses . Propos prémonitoires  (en particulier cette année).

 « On avait ouvert l’électricité à la concurrence pour baisser les prix et il faudrait aujourd’hui les élever pour permettre la concurrence"


http://pratclif.com/climatechange/nucleaire/loi-nome/boiteux.htm

R.E.

Les inscriptions des Assises des mathématiques sont ouvertes.

"Rejoignez-nous du 14 au 16 novembre à la Maison de l’UNESCO à Paris ! Places des mathématiques dans la société, rôle pour l’innovation, compréhension du monde"

Edit : lien supprimé (voir plus bas)

Fin de partie

@R.E: ton lien aboutit à une pub pour une appli ou une entreprise spécialisée dans l'évènementiel.

Fin de partie

Il y a un site internet pour ces assises.

R.E.

Ah zut, ce n'est pas un lien fixe... Merci Fin de partie.
site des Assises : https://www.assises-des-mathematiques.fr/

le lien vers le formulaire d'inscription pour les personnes intéressées se trouve dans la section : "3 manières de contribuer à l'évènement !"

Sinon hier Quanta Magazine a sorti un article sur un résultat important : 'Monumental’ Math Proof Solves Triple Bubble Problem and More

L'article : The Structure of Isoperimetric Bubbles on $\mathbb{R}^n$ and $\mathbb{S}^n$
Emanuel Milman, Joe Neeman
https://arxiv.org/abs/2205.09102

https://emilman.net.technion.ac.il/

https://web.ma.utexas.edu/users/jneeman/

Et hier je l'ai posté sur Reddit et un intervenant a donné une bonne explication : https://www.reddit.com/r/math/comments/xxad0l/monumental_math_proof_solves_triple_bubble/

Concernant Quanta Magazine, ils sortent des articles sur des résultats importants bien sûr avec quelques mois par rapport à l'article scientifique / prépublication ce qui laisse le temps de valider le résultat et de rencontrer les acteurs (auteurs ou spécialistes). Je trouve que le niveau est bien calibré, pas trop simple et pas trop compliqué (même si je dois avouer qu'il faut que je m'accroche pour bien comprendre les tenants et aboutissants).

julian

Amaury Thuillier n'aura pas la médaille Fields. Normal ! Il a 41 ans😁

[Les noms propres prennent toujours une majuscule. AD]

Georges Abitbol

@julian : Pourquoi tu parles toujours de lui  ? On sait déjà que tu vas le voir à Lyon, haha !

R.E.

Un résultat important sur les nombres de Carmichael par... un jeune de 17 ans : Teenager Solves Stubborn Riddle About Prime Number Look-Alikes (Quanta)

L'article : "Bertrand's Postulate for Carmichael Numbers" https://academic.oup.com/imrn/advance-article-abstract/doi/10.1093/imrn/rnac203/6647493?redirectedFrom=fulltext
Ou sur ArXiv : https://arxiv.org/abs/2111.06963

Edit : il vient d'une famille de mathématicien (père, mère, oncle...), ça aide.

R.E.

Une autre histoire qui a fait du bruit ces dernières semaines : une équipe de DeepMind (entreprise spécialisée dans l'intelligence artificielle appartenant à Google) a utilisé AlphaZero pour trouver un algorithme qui multiplie une matrice $5\times5$ sur $\mathbb{Z}_2$ avec seulement 96 multiplications contre 98 pour un vieux record. Une semaine après deux mathématicien autrichiens se basant sur le travail de DeepMind ont abaissé le record à 95 multiplications.
L'article de DeepMind sur Nature : https://www.nature.com/articles/s41586-022-05172-4
L'article de Manuel Kauers et Jakob Moosbauer sur ArXiv : https://arxiv.org/abs/2210.04045

Et un article d'Ars Technica qui résume et vulgarise : DeepMind breaks 50-year math record using AI; new record falls a week later

PS : j'aime bien le nom de l'algorithme dans l'articles des Autrichiens : The FBHHRBNRSSSHK-Algorithm

Rescassol

Bonjour,

Pourrait on avoir l'avis de Noix de Totos, qui fait autorité ici, sur cet article ?

Cordialement,
Rescassol

R.E.

Aujourd'hui, premier jour des vacances scolaires, démarrent à Jonzac (17) les journées nationales de l'APMEP. Plusieurs centaines d'enseignants de mathématiques se rassemblent pour se former, pour échanger sur les pratiques, pour débattre...
le hashtag sur Twitter #jnapmep : https://twitter.com/search?q=#jnapmep

Source :

https://twitter.com/roger_mansuy/status/1583765769631899648

R.E.

Terence Tao a annoncé un atelier sur les preuves assistées par ordinateur en février prochain avec de grands noms : Workshop “Machine assisted proofs” - Feb 13-17 next year, at the Institute for Pure and Applied Mathematics (IPAM - California) with Erika Abraham, Jeremy Avigad, Kevin Buzzard, Jordan Ellenberg, Tim Gowers, Marijn Heule, Terence Tao : https://www.ipam.ucla.edu/programs/workshops/machine-assisted-proofs/
On peut participer à distance.

Kevin Buzzard a lancé le projet Xena en 2017 afin de formaliser des théorèmes en Lean et son projet gagne en envergure depuis.

Sylvain

Yitang Zhang serait apparemment sur le point de faire fort une nouvelle fois : https://pandaily.com/mathematician-yitang-zhang-claims-to-have-proven-riemann-hypothesis-problem/

Sylvain

Si une bonne âme pouvait nous donner une traduction du lien chinois...

Fin de partie

@Sylvain: Si je comprends l'article, il aurait prouvé que l'hypothèse de Riemann est fausse.

Sylvain

L'hypothèse de Riemann généralisée alors car Zeta n'est pas concernée par les zéros de Landau-Siegel.

R.E.

L'article en chinois est traduit à cette adresse : https://fenq.com/zhang-yitang-was-revealed-to-have-proved-riemanns-conjecture-related-problems-shaking-the-mathematical-community/

Et cela a été discuté sur Reddit, il y a 8 jours : https://www.reddit.com/r/math/comments/y59tta/yitang_zhang_has_apparently_claimed_that_hes/

Bibix

À mon avis, il a "juste" prouvé qu'il n'existe pas de zéros de Siegel. Si c'est ça, alors GRH n'est pas forcément fausse. S'il a prouvé l'inverse, alors c'est sans aucun doute un des résultats les plus importants de ce siècle. Non seulement cela prouverait la conjecture des premiers jumeaux, mais GRH serait alors démontrée fausse.

R.E.

La Fondation Bill & Melinda Gates a annoncé mercredi qu'elle accordait des subventions d'un montant supérieur à un milliard de dollars dans le cadre d'un vaste plan national visant à améliorer l'enseignement des mathématiques au cours des quatre prochaines années :
Bill and Melinda Gates are chopping funding for reading, writing and the arts to plow $1 billion into math education instead : https://fortune.com/2022/10/19/bill-melinda-gates-foundation-math-education-1-billion/

R.E.

letudiant.fr : Alain Aspect, prix Nobel de physique 2022 : "Si vous voulez trouver du travail facilement, faites des maths" : https://www.letudiant.fr/lycee/alain-aspect-prix-nobel-de-physique-si-vous-voulez-trouver-du-travail-facilement-faites-des-maths.html

Fin de partie

Je ne savais pas qu'Alain Aspect était dans les ressources humaines.

La phrase mise en exergue est précédée toutefois de l'avertissement "si je voulais être caricatural".

En réalité, le sujet de l'article n'est pas les débouchés liés à une formation en mathématiques mais les débouchés liés à la recherche scientifique, comme chacun sait c'est très facile d'obtenir un prix Nobel, une médaille Fields et un poste de professeur des universités.

Le problème avec les gens "nobélisés" c'est qu'ils en viennent à s'exprimer sur tout et n'importe quoi comme s'ils étaient omniscients,

R.E.

L'article de Yitang Zhang a fuité (Discrete mean estimates and the Landau-Siegel zero - voir PJ). L'article devrait sortir sur arXiv bientôt. Une présentation officielle aura lieu le 8 novembre a Pékin.

Les discussions sur Reddit :
https://www.reddit.com/r/math/comments/ymlacu/professor_yitang_zhangs_latest_paper_about_the/
https://www.reddit.com/r/math/comments/ympcpw/peking_university_has_announced_yitang_zhangs/

R.E.

Comme le font remarquer deux intervenants de Reddit, il y a cette constante sympa "2022" dans le résultat du professeur Zhang et nul doute que le projet Polymath essaiera d’optimiser cette valeur.

R.E.

Le preprint est sur arXiv :
Discrete mean estimates and the Landau-Siegel zero
Yitang Zhang
arXiv:2211.02515 [math.NT] : https://arxiv.org/abs/2211.02515

R.E.

Une preuve informatique importante sur les équations d'Euler en mécanique des fluides (Quanta) : Computer Proof ‘Blows Up’ Centuries-Old Fluid Equations
L'article : Stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data
Jiajie Chen, Thomas Y. Hou (http)

https://arxiv.org/abs/2210.07191

The proof marks a major breakthrough — and while it doesn’t completely solve the problem for the more general version of the equations, it offers hope that such a solution is finally within reach.

R.E.

Un résultat récent en combinatoire qui a fait du bruit sur Twitter et dernièrement sur Reddit : Justin Gilmer a donné une borne inférieure constante (a constant lower bound) pour la conjecture des familles stables par unions.

Le preprint : A constant lower bound for the union-closed sets conjecture
Justin Gilmer
arXiv:2211.09055 [math.CO] : https://arxiv.org/abs/2211.09055

Sur le site de Gil Kalai : https://gilkalai.wordpress.com/2022/11/17/amazing-justin-gilmer-gave-a-constant-lower-bound-for-the-union-closed-sets-conjecture/

Et la discussion sur Reddit : https://www.reddit.com/r/math/comments/yyita9/justin_gilmer_gave_a_constant_lower_bound_for_the/

R.E.

Ça va vite sur le résultat de Gilmer, reporté ci-dessus (borne inférieure de 0,01 au lieu de 0,5 pour la conjecture). Trois groupes indépendants ont optimisé la borne à $\frac{3-\sqrt{5}}{2} \approx 0.38$.
https://arxiv.org/abs/2211.11504
https://arxiv.org/abs/2211.11689

https://arxiv.org/abs/2211.11731

Source : Terence Tao sur Mathstodon : https://mathstodon.xyz/@tao/109390971278692349

Georges Abitbol

Eh bien, c'est vrai que ça va vite !

R.E.

Un article de Quanta Magazine sur l'histoire de DeepMind et de la multiplication des matrices dont j'ai parlé plus haut. Il arrive bien plus tard que celui d'Ars Technica mais est plus complet : AI Reveals New Possibilities in Matrix Multiplication : https://www.quantamagazine.org/ai-reveals-new-possibilities-in-matrix-multiplication-20221123/

R.E.

Ce dimanche 4 décembre 2022 se déroule au musée des Arts et Métiers à Paris une journée spéciale maths en accès gratuit pour les 35 ans du magazine Tangente : "Le dimanche 4 décembre 2022, journée spéciale maths au musée en accès gratuit. Venez célébrer les 35 ans du magazine Tangente et participez à l’une des nombreuses animations proposées pour les enfants et les adultes : spectacles, ateliers, visites, conférences, dédicaces, expositions… Il y en a pour tous les goûts !" : https://www.arts-et-metiers.net/musee/journee-tangente-3e-edition

R.E.

Un résultat en théorie des nombres : Combien d'entiers peuvent être écrits comme la somme de deux nombres rationnels au cube ?
Quanta Magazine : Mathematical Trio Advances Centuries-Old Number Theory Problem : https://www.quantamagazine.org/mathematical-trio-advances-centuries-old-number-theory-problem-20221129/

L'article : arXiv:2210.10730 [math.NT] : https://arxiv.org/abs/2210.10730
Levent Alpöge
Manjul Bhargava (lauréat de la médaille Fields en 2014)
Ari Shnidman

R.E.

J'ai posté le lien vers l'article de Quanta Magazine sur Reddit en même temps que le post ci-dessus et un des auteurs, Levent Alpöge, est intervenu

https://www.reddit.com/r/math/comments/z7yh0c/mathematical_trio_advances_centuriesold_number/

R.E.

Un article très grand public mais la France et les USA ont échangé le premier télégramme diplomatique en cryptographie post-quantique : https://www.numerama.com/tech/1197396-cest-quoi-la-cryptographie-post-quantique.html

"c’est la solution conçue par CryptoNext Security qui a été mise en œuvre. Il s’agit d’une startup française qui réunit l’Inria (Institut national de recherche en sciences et technologies du numérique), l’université Parsi-Sorbonne et le CNRS (Centre national de la recherche scientifique). La startup est jeune : elle est née en 2019."

"Sur un plan technique, le télégramme diplomatique a été « sécurisé en utilisant les algorithmes de cryptographie post-quantique Crystals-Dilithium, sélectionnés comme futur standard de signature électronique par le NIST et Frodo-Kem recommandé par l’Anssi pour la gestion des données sensibles »"

R.E.

Le nouveau magazine "La Recherche" avec un gros dossiers sur "les nombres" :

Source :

https://twitter.com/roger_mansuy/status/1598999432535896064

R.E.

Le Prix Bôcher de l'AMS (Bôcher Memorial Prize) 2023 a été attribué à Frank Merle, Pierre Raphaël, Igor Rodnianski et Jérémie Szeftel (les français en force )pour "their groundbreaking work establishing the existence of blow-up solutions to the defocusing NLS equation in some supercritical regimes and to the compressible Euler and Navier-Stokes equations" : https://www.ams.org/news?news_id=7133

Un article de Quanta Magazine sur des résultats récents : From Systems in Motion, Infinite Patterns Appear
Les articles :
arXiv:2206.01786 [math.DS]: Infinite Sumsets in Sets with Positive Density
arXiv:2206.12377 [math.DS]: A proof of Erdős's B+B+t conjecture
Bryna Kra
Joel Moreira
Florian K. Richter
Donald Robertson

R.E.

Un résultat très récent de Rachel Greenfeld, Terence Tao : Quanta : ‘Nasty’ Geometry Breaks Decades-Old Tiling Conjecture - Mathematicians predicted that if they imposed enough restrictions on how a shape might tile space, they could force a periodic pattern to emerge. But they were wrong.
L'article : arXiv:2211.15847 [math.CO] : A counterexample to the periodic tiling conjecture
Rachel Greenfeld
Terence Tao

R.E.

Carmin.tv a été lancée il y a un an, c'est une plateforme de diffusion audiovisuelle en mathématiques. Elle a été créé par le Centre international de rencontres mathématiques (CNRS/Aix-Marseille Université/Société mathématique de France), l’Institut Henri Poincaré (CNRS/Sorbonne Université), le Centre international de mathématiques pures et appliquées (CIMPA) et l’Institut des hautes études scientifiques (IHÉS). Elle a un catalogue audiovisuel en accès libre, avec plus de 5600 vidéos dédiées aux maths et à leurs interactions.

https://twitter.com/InHenriPoincare/status/1603717935263977473

R.E.

Un article sorti en début de semaine et qui fait pas mal de bruit : une preuve en 7 pages du théorème des quatre couleurs :
arXiv:2212.09835v1 [math.CO] : A non-constructive proof of the Four Colour Theorem

D. M. Jackson, L. B. Richmond

Par contre des intervenants sur Reddit et même Terence Tao sur Mathstodon ont de sérieux doutes sur la section 4.2
La discussion sur Reddit : https://www.reddit.com/r/math/comments/zruc58/221209835_a_nonconstructive_proof_of_the_four/
Terence Tao sur Mathstodon: https://mathstodon.xyz/@tao/109554420101377184

R.E.

La rétrospective 2022 de Quanta Magazine sur les maths : The Year in Math | Quanta Magazine | Four Fields Medals were awarded for major breakthroughs in geometry, combinatorics, statistical physics and number theory, even as mathematicians continued to wrestle with how computers are changing the discipline

R.E.

Maryna Viazovska, médaillée Fields 2022, donne une conférence intitulée "Sphere packing" au Laboratoire de Mathématiques d’Orsay (LMO) le 11 janvier à 16h30: https://www.universite-paris-saclay.fr/evenements/conference-sphere-packing-de-maryna-viazovska-le-11-janvier-16h30-au-lmo

R.E.

Un article de Quanta Magazine sur le résultat de Justin Gilmer reporté ci-dessus : Google Engineer, Long Out of Math, Cracks Devilish Problem About Sets | On nights and weekends, Justin Gilmer attacked an old question in pure math using the tools of information theory.

La prochaine conférence du cycle « Une question, un chercheur » aura lieu à l’institut Henri-Poincaré le 24 janvier. Le titre sera « Du café aux mathématiques » par Hugo Duminil-Copin : https://smf.emath.fr/conference-duminil

R.E.

Il n'y a pas qu'en France que la place des maths dans le secondaire fait débat, en Angleterre aussi : Rishi Sunak to propose maths for all pupils up to age 18 | The Guardian | PM to set out plan to enhance numeracy for pupils in England in first policy speech of 2023

R.E.

Plus proche de nous et toujours sur le secondaire : Pap Ndiaye souhaite faire du collège « une priorité » et annonce des premières mesures | L'Obs | Le ministre de l’Education nationale a notamment annoncé la création d’une heure hebdomadaire de renforcement en français ou en mathématiques en 6e, pour aider les élèves. Elle sera assurée par des enseignants d’école primaire.