Le plus dense empilement de sphères est le réseau cubique à faces centrées. Cette conjecture, formalisée par Kepler en 1610, n'a été démontrée par Thomas Hales qu'en 1998. Que se passe-t-il avec d'autres solides ? Faute de théories, les chercheurs font appel à la simulation.

On a longtemps cru que ce serait impossible. Or un scientifique d'IBM vient de concevoir un algorithme de chiffrement qui offre la possibilité de faire des calculs arbitraires sur des données chiffrées. À l'avenir, des informations sensibles pourraient ainsi être traitées à distance.

Une équipe de mathématiciens renommés s'est attaquée à un problème très actuel en économie : la théorie des portefeuilles. Mais pour Raphaël Douady, ancien chercheur en mathématiques pures reconverti dans les mathématiques financières, les vraies difficultés sont ailleurs.

Le mathématicien britannique Stephen Wolfram, concepteur du logiciel de calcul formel Mathematica, a lancé son propre moteur de recherche sur Internet : Wolfram|Alpha.

L'étude mathématique des conditions météorologiques lors du naufrage d'un bateau de pêche japonais en 2008 a permis d'en comprendre les causes.

Thomas Hales, l'auteur de la démonstration de la « conjecture de Kepler » « le plus dense des empilements est le cubique faces centrées », a commencé à réécrire sa preuve pour la tester avec un ordinateur. Il publie son premier article d'étape.

Deux Israéliens ont proposé un nouveau type de probabilités, les « probabilités fantômes », dont la particularité est de contenir un facteur d'incertitude.

Faut-il remettre en question le plus célèbre des modèles financiers dédiés à l'achat des options boursières ?

Deux mathématiciens ont analysé des documents inédits sur les raisons qui ont poussé, en 1941, l'occupant allemand à arrêter puis à relâcher l'académicien français Émile Borel [1].

En publiant simultanément quatre articles sur l'état de l'art des preuves par ordinateur [1], la Société américaine des mathématiques s'interroge sur le statut qu'il convient de leur donner.