Le
processus de traduction automatique de concepts mathématiques
écrits en langage naturel en spécifications et preuves formelles
est appelé «...
Le plus ancien
Mathématiques
Une
intelligence artificielle (IA) a réussi à créer un nouvel
algorithme de calcul matriciel, plus efficace que celui en usage...
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 première fois,
des physiciens ont observé de nouveaux effets quantiques dans un
isolant topologique basé sur l’élément bismuth, à température
ambiante. Cette découverte ouvre une nouvelle gamme de possibilités
pour...
Les
pavages « apériodiques » sont de fascinants assemblages
géométriques dont les motifs ne se répètent jamais. Jusqu’à il y...
Si vous
avez déjà observé attentivement des bulles de savon, vous avez sans
doute constaté qu’elles tendent à s’agglutiner. Elles...
La «
conception combinatoire » du mathématicien Thomas Kirkman recèle un
problème de longue date que l’on croyait impossible à résoudre.
Malgré l’existence de variables conformes aux exigences de
divisibilité, certaines conceptions seraient impossibles et il
n’existerait qu’un seul exemple concret de « conception de
sous-espaces ». Dans une nouvelle...
Après 32
ans de recherches, des scientifiques ont résolu l’énigme du
neuvième nombre de Dedekind (à 42 chiffres), un problème...
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...
En 2007,
Persi Diaconis avait suggéré que les tirages au sort par « pile ou
face » ne sont pas aussi équitables qu’on le croit — autrement dit,
il n’y aurait pas une chance sur deux d’obtenir pile ou face. Par
le biais d’une expérience comprenant un total de 350...
Face à la
complexité de la classification des formes géométriques
élémentaires, des chercheurs ont envisagé une approche novatrice :
créer...
FunSearch,
une nouvelle IA développée par Google DeepMind serait la première à
se montrer suffisamment fiable pour réaliser des découvertes...
En
convertissant les compositions de Johann Sebastian Bach en réseaux
mathématiques, des chercheurs avancent que ces dernières
contiennent de grandes quantités d’informations (au sens
mathématique) et les transmettent très efficacement aux auditeurs.
En outre, les œuvres du genre choral, entre autres, seraient selon
eux moins informatives que celles destinées à...