La recherche de nouvelles propriétés topologiques de la matière est la nouvelle ruée vers l’or en physique moderne. Pour la...
Une intelligence artificielle (IA) a réussi à créer un nouvel algorithme de calcul matriciel, plus efficace que celui en usage...
Le processus de traduction automatique de concepts mathématiques écrits en langage naturel en spécifications et preuves formelles est appelé « auto-formalisation ». Dans le but d’améliorer les modèles d’autoformalisation et les machines de vérification actuels, des chercheurs ont développé une nouvelle méthode, basée sur une IA capable de prendre en...
Unifier la théorie de la gravité d’Einstein avec la mécanique quantique pourrait nous donner un aperçu approfondi de divers phénomènes...
Apparus en Europe au 10e siècle, les échecs — dont l’origine exacte reste inconnue — sont un jeu de stratégie...
Grâce à l’intelligence artificielle développée par Google DeepMind, des chercheurs de l’Université de Sydney rapportent avoir résolu des problèmes de mathématiques pures, particulièrement complexes, du domaine de la théorie des nœuds et de la théorie des représentations. C’est la première fois que l’apprentissage automatique (ou machine learning) est mis à...
Lorsque l’on plonge un glaçon dans l’eau, celui-ci fond progressivement, mais sans jamais adopter de formes atypiques, dotées d’arêtes et...
Cette tablette de la période babylonienne (entre 1900 et 1600 av. J.-C.), dénommée Si.427, a été découverte à la fin...
Si les trous noirs sont insondables, un certain nombre de phénomènes physiques se produisant autour de leur horizon des événements le sont. C’est notamment le cas de la sphère de photons : un anneau de photons orbitant autour des trous noirs, amenés soit à s’échapper soit à être absorbés. L’ensemble...
L’intelligence artificielle surpasse déjà l’humain dans de nombreux domaines techniques, dont la résolution de certains problèmes mathématiques. Récemment, une IA...
Ces dernières années ont été jonchées d’avancées spectaculaires dans le domaine de l’intelligence artificielle, notamment concernant les réseaux neuronaux, développés...
Les équations aux dérivées partielles, aussi appelées équations différentielles partielles, ou EDP, sont une catégorie d’équations mathématiques qui peuvent décrire absolument tous les phénomènes physiques de notre univers : des orbites planétaires à la tectonique des plaques, en passant par les turbulences de l’air susceptibles de perturber un vol. Ces...