Science

L'IA résout un problème mathématique vieux de plusieurs décennies posé par Erdős, une nouvelle étape pour le raisonnement machine

9 views

L'IA résout un problème d'Erdős qui a défié les mathématiciens

Un système d'IA a réussi à résoudre un problème mathématique de longue date posé initialement par Paul Erdős, l'un des mathématiciens les plus prolifiques du XXe siècle. Le problème, lié à la théorie combinatoire des nombres, avait résisté aux tentatives de résolution par des mathématiciens humains pendant des décennies. Les chercheurs ont indiqué que l'IA avait utilisé des techniques originales de reconnaissance de motifs et de raisonnement automatisé, fondamentalement différentes des approches humaines, ouvrant de nouvelles voies pour la découverte mathématique assistée par machine.

Des astronomes découvrent une paire de trous noirs record

Dans un autre développement, des astronomes pourraient avoir identifié une paire de trous noirs record, potentiellement le système binaire de trous noirs le plus massif jamais observé. La découverte, utilisant des données de plusieurs observatoires, pourrait fournir de nouvelles perspectives sur la formation et la fusion des trous noirs supermassifs. Si elle est confirmée, cette paire remettrait en question les modèles existants de croissance des trous noirs et d'évolution des galaxies.

Une nouvelle espèce d'ours-chien ancien identifiée en Espagne

Des paléontologues en Espagne ont identifié une nouvelle espèce d'ours-chien ancien, un groupe désormais éteint de mammifères carnivores qui parcouraient l'Europe il y a des millions d'années. L'espèce, nommée Paludocyon moyasolai, a été découverte dans des gisements fossiles en Espagne et s'ajoute à la compréhension croissante de la diversité des prédateurs mammaliens ayant vécu avant l'émergence des lignées modernes d'ours et de chiens.

Source: ScienceNews, Sci.News