Le processus de traduction automatique de concepts mathématiques écrits en langage naturel en spécifications et preuves formelles est appelé «...
Mathématiques
Trust My Science vous aide à comprendre les mathématiques d’hier et d’aujourd’hui, entre logiques abstraites, énigmes et découvertes modernes.
AlphaProof et AlphaGeometry, deux nouveaux modèles d’IA développés par Google DeepMind, ont résolu avec succès quatre des six problèmes de...
Dans la plupart des situations de la vie quotidienne, les systèmes de calcul numérique que nous utilisons sont amplement suffisants en matière de précision. Mais lorsque les scientifiques ont besoin d’effectuer des simulations et des calculs complexes, la précision numérique est d’une importance primordiale. Toutefois, dans une nouvelle étude, des...
Il existe quatre forces fondamentales : la force de gravité, l’électromagnétisme, l’interaction faible et l’interaction (ou force) forte. Cette dernière...
Des chercheurs ont identifié une corrélation entre la théorie des nombres et la génétique évolutive, suggérant que des principes mathématiques...
Formulée en 1859 par le mathématicien allemand Bernhard Riemann, l’hypothèse de Riemann est l’un des problèmes mathématiques non-résolus les plus importants du 21ème siècle. Elle est l’un des sept problèmes du millénaire posés par l’Institut de mathématiques de Clay. Le mathématicien anglais Michael Atiyah, mondialement reconnu dans son domaine, a récemment...
La théorie des nombres est une branche des mathématiques étudiant les propriétés des nombres entiers. Elle est un domaine actif...
Pi est sans doute l’une des constantes les plus emblématiques des mathématiques. Il se manifeste dans les cercles, les pendules,...
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 dans divers buts de résolution de problèmes complexes, allant de l’automatisation de systèmes informatiques (comme la reconnaissance faciale ou l’apprentissage automatique) à la résolution purement mathématique. Dernièrement, une équipe de...
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 étude récente révèle que les équations mathématiques régissant les lois de la physique suivent étrangement un schéma précis en...
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 a réfuté cinq conjectures mathématiques alors qu’elle ne disposait au préalable d’aucune information sur ces dernières. Un exploit qui en réjouit certains, et qui en effraie d’autres. Les conjectures mathématiques...