Une
intelligence artificielle (IA) a réussi à créer un nouvel
algorithme de calcul matriciel, plus efficace que celui en usage...
Dernier
Mathématiques
Le
processus de traduction automatique de concepts mathématiques
écrits en langage naturel en spécifications et preuves formelles
est appelé «...
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 et
objets encore mystérieux à ce jour, tels que les trous noirs ou la
naissance de l’univers. Tel était l’espoir d’Albert Einstein, à la
fin de sa vie. Une quête...
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...
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 de
pointes acérées. Au contraire, les arêtes du cube initial
s’estompent peu à peu. Des dizaines d’années de recherche auront
été nécessaires pour parvenir à comprendre pleinement les équations
qui...
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...
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...
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...
Depuis que
le philosophe suédois Nick Bostrom a émis, en 2003, l’hypothèse que
nous pourrions en réalité tous vivre dans une grande simulation
informatique, beaucoup se sont penchés sur la question. Des
physiciens et des philosophes tentent depuis quelques années de
déterminer si nous sommes ou non des êtres simulés....