réflexion communautaire

Ce "moteur de recherche-base de données collaboratif" a une ambition quasi au-delà de la mégalomanie. Il aimerait supprimer les egos pour tenter de faire émerger quelques bribes de discernement collectif. Ne s'appuyer QUE sur le(s) sens du langage.

Quête qui passe par une discussion constante sur la signification des symboles de base, les mots, afin de préciser ces axiomes de la réflexion. Particulièrement pour l'étiquetage. (Internet est ici très utile).

Ainsi allons-nous peut-être esquisser ensembles quelques chaines de raisonnement ; points d'appuis, monades à facettes, algorithmes quantiques... qui préciseront un peu mieux - allons savoir - ce qui est offert à nos sens avant d'être formulé ; verbalisé.

Réflexives aussi, ces maths idiomatiques communautaires et ludiques, puisque ce mode de lecture FLP nous révèle, il nous aide à formuler des noeuds personnels, agrandit notre monde intérieur, dilate nos frontières, ces limitations d'être incarnés, comme exprimé par David Deutsch : "La réalité contient non seulement les preuves, mais aussi les moyens (nos esprits et nos outils) de la comprendre. Il existe des symboles mathématiques dans la réalité physique. Le fait que ce soit nous qui les ayons mis ici ne les rend pas moins physiques."

L'univers produit nos petites personnes, elles-même engendrent des myriades de symboles partagés : hyper structures que les intellects humains ne cessent de modeler, de transformer, d'affiner... Descriptifs de nos expériences au sein de ces carrefours, consensus partagés, que sont les mots (signifiants) et les langages.

Vous êtes ici au sein d'un grand jeu littéraire, celui de la verbalisation de notre réel et des "mondes possibles" que l'imaginaire sémantico-linguistique nous permet de développer.

Auteur: Mg

Info: 27 juillet 2017

[ approfondissement ] [ citation s'appliquant à ce logiciel ] [ mémétique ]

monde matheux

Furieuse, la bête se tordit et agita ses intégrales itérées sous les coups polynomiaux du roi, s'effondra en une série infinie de termes indéterminés, puis se releva en s'élevant à la puissance n, mais le roi l'assomma tellement de différentielles et de dérivées partielles que ses coefficients de Fourier s'annulèrent tous (voir le lemme de Riemann), et dans la confusion qui s'ensuivit, les constructeurs perdirent complètement de vue à la fois le roi et la bête. Ils firent donc une pause, se dégourdirent les jambes, burent une gorgée de la cruche de Leyde pour reprendre des forces, puis se remirent au travail et recommencèrent depuis le début, en déployant cette fois tout leur arsenal de matrices tensorielles et de grands ensembles canoniques, attaquant le problème avec une telle ferveur que le papier même se mit à fumer. Le roi se précipita avec toutes ses coordonnées cruelles et ses valeurs moyennes, trébucha dans une sombre forêt de racines et de logarithmes, dut faire marche arrière, puis rencontra la bête sur un champ de nombres irrationnels (F1) et la frappa si durement qu'elle tomba de deux décimales et perdit un epsilon, mais la bête glissa autour d'une asymptote et se cacha dans un espace de phase orthogonal à n dimensions, subit une expansion et sortit, fumant de manière factorielle, et tomba sur le roi et lui causa une blessure cuisante. Mais le roi, sans se décourager, enfila sa cotte de mailles de Markov et tous ses paramètres imperméables, porta son incrément Δk à l'infini et asséna à la bête un véritable coup booléen, l'envoyant rouler à travers un axe des x et plusieurs parenthèses - mais la bête, préparée à cela, baissa ses cornes et... vlan ! -Les crayons volèrent comme des fous au travers des fonctions transcendantes et des transformations à double figure, et lorsqu'enfin la bête se rapprocha et que le roi fut à terre, les constructeurs se levèrent d'un bond, dansèrent une gigue, rirent et chantèrent en déchirant tous leurs papiers en lambeaux, à la grande surprise des espions perchés dans le lustre - perchés en vain, car ils n'étaient pas initiés aux subtilités des mathématiques supérieures et n'avaient donc aucune idée de la raison pour laquelle Trurl et Klapaucius criaient maintenant, encore et encore, "Hourra ! Victoire !!!"

Auteur: Lem Stanislaw

Info: La Cyberiade

[ incompréhensible ] [ humour ] [ littéraire ]

origine de la vie

Une IA découvre que plusieurs bases de la vie, notamment sur l'ADN, peuvent émerger naturellement

L'Université de Floride annonce une avancée majeure dans la compréhension de la formation des molécules de la vie. À travers une expérimentation novatrice, des chercheurs ont utilisé le superordinateur HiPerGator pour démontrer que des molécules essentielles à la vie, comme les acides aminés et les bases de l'ADN, peuvent se former naturellement dans des conditions spécifiques.

Le superordinateur HiPerGator, reconnu pour être le plus rapide dans le milieu universitaire américain, a permis de franchir une nouvelle étape dans la recherche moléculaire grâce à ses modèles d'intelligence artificielle et à sa capacité exceptionnelle en unités de traitement graphique (GPU). Ces outils ont rendu possible l'étude des interactions et de l'évolution de vastes ensembles d'atomes et de molécules, une tâche auparavant inenvisageable avec les capacités de calcul disponibles.

Jinze Xue, doctorant à l'Université de Floride, a mené pendant les vacances d'hiver 2023 une expérience de chimie prébiotique. Utilisant plus de 1000 GPU A100, l'expérience a permis d'identifier 12 acides aminés, trois nucléobases, un acide gras et deux dipeptides parmi 22 millions d'atomes. Cette découverte marque un progrès significatif, révélant la formation de molécules complexes qui n'auraient pas été détectables avec des systèmes de calcul moins puissants.

La réussite de cette recherche repose sur l'utilisation de l'apprentissage automatique et de l'intelligence artificielle pour calculer les énergies et les forces agissant sur les systèmes moléculaires. Ces méthodes, selon Adrian Roitberg, professeur au Département de Chimie de l'Université de Floride, fournissent des résultats comparables à ceux de la chimie quantique de haut niveau, mais environ un million de fois plus rapidement.

Erik Deumens, directeur senior pour UFIT Research Computing, souligne la capacité unique de HiPerGator à réaliser de grands calculs, ouvrant la voie à des percées scientifiques majeures. Cette collaboration étroite entre l'université et l'équipe de Ying Zhang, responsable du soutien à l'intelligence artificielle chez UFIT, a permis d'accélérer l'analyse des données, réduisant le temps d'analyse à seulement sept heures, contre trois jours initialement estimés.

Cette recherche illustre le potentiel des simulations informatiques de grande envergure pour découvrir comment les molécules complexes peuvent se former à partir de blocs de construction simples. Elle marque une étape vers la compréhension des origines de la vie sur Terre et démontre l'importance des infrastructures de calcul avancées dans la recherche scientifique contemporaine.

Auteur: Internet

Info: https://www.techno-science.net/ - Adrien le 15/02/2024, Source: Université de Floride

combat

Furieuse, la bête se cabra et a tortilla ses intégrales itérées sous les coups polynomiaux du roi, s'écroula en une série infinie de termes indéterminés, puis se releva, montant à la puissance n, mais le roi l'avait tellement abreuvée de différentielles et de dérivées partielles que ses coefficients de Fourier s'annulèrent tous (voir le lemme de Riemann), et dans la confusion qui s'en suivit, les constructeurs perdirent complètement de vue tant le roi que la bête. Ils firent donc une pause, se dégourdirent les jambes, burent une gorgée de la cruche de Leyde pour reprendre des forces, puis se remirent au travail et recommencèrent depuis le début, en déployant cette fois tout leur arsenal de matrices tensorielles et de grands ensembles canoniques, attaquant le problème avec une telle ferveur que le papier même se mit à fumer. Le roi, s'étant précipité avec toutes ses coordonnées cruelles et ses valeurs moyennes, trébucha dans une sombre forêt de racines et de logarithmes, et dut faire marche arrière, puis il rencontra la bête sur un champ de nombres irrationnels (F1) et la frappa si durement qu'elle perdit deux décimales et un epsilon, mais la bête avait glissé autour d'une asymptote pour se cacher dans un espace de phase orthogonal à n dimensions, puis, ayant subi une expansion elle en ressortit, fumante de manière factorielle, et elle tomba sur le roi pour le blesser de manière passagère. Mais le roi, sans se décourager, revêtit sa cotte de mailles de Markov et tous ses paramètres imperméables, puis porta son incrément Δk à l'infini et asséna à la bête un véritable uppercut booléen, la faisant tituber à travers un axe des x et plusieurs parenthèses - mais la bête, préparée à cela, a abaissé ses cornes et... VLAN ! - Les crayons s'éparpillèrent comme des fous à travers les fonctions transcendantes et les doubles transformations, et lorsque la bête se rapprocha enfin alors que le roi était mis à terre pour le compte, les constructeurs se levèrent d'un bond, dansèrent une gigue, en riant et chantant, déchirant tous leurs papiers en lambeaux, à la grande surprise des espions juchés dans le lustre - perchés là en vain, car ils n'étaient pas initiés aux subtilités des mathématiques supérieures et n'avaient donc aucune idée de la raison pour laquelle Trurl et Klapaucius criaient maintenant, encore et encore, "Hourra ! Victoire !!!"

Auteur: Lem Stanislaw

Info: The Cyberiad

[ monde mathématique ] [ humour ] [ complexité ]

intégration

(Ur, En allemand préfixe permettant l'accentuation ou l'exagération d'un mot)

En théorie des ensembles, un ur-element (ou urelement) est quelque chose qui n'est pas un ensemble mais qui peut être élément d'un ensemble.

Ils partagent ainsi avec le seul ensemble vide le fait de ne posséder aucun élément, mais pour des raisons tout à fait différentes : rien ne peut appartenir à un ur-element parce que cela n'a pas de sens, alors que rien n'appartient à l'ensemble vide par définition.

Les ur-elements sont aussi appelés atomes, individus, éléments primitifs ....

La théorie des ensembles moderne a pu montrer que, pour développer l'ensemble des mathématiques, on pouvait complètement se passer d'atomes. Tous les ensembles utiles peuvent être construits à partir de l'abstraction mathématique qu'est l'ensemble vide. 

Néanmoins les théories des ensembles avec ur-elements gardent leur intérêt, pour des théories des ensembles faibles, ou tout simplement parce qu'elles peuvent apparaître plus naturelles au prime abord. De façon imagée, si on veut prouver que tout homme résidant à Paris réside en France, on va utiliser les propriétés de la relation d'inclusion telles qu'elles sont définies en théorie des ensembles. Pourtant, on ne va pas affirmer pour le prouver que tel homme (ur-element) qui vit à Paris donc en France est construit à partir de l'ensemble vide.

Adjoindre à l'ontologie ensembliste des objets qui ne sont pas des ensembles permet d'étendre son application à d'autres domaines. Mais il faut bien sûr formellement s'assurer que les théorèmes acquis sur les seuls ensembles peuvent s'exporter hors de ce domaine. D'où l'intérêt d'une théorie des ensembles avec ur-elements qui peut le garantir formellement.

Syntaxiquement, leur introduction consiste à enrichir le langage ensembliste (ne comprenant que les symboles de relation binaire d'appartenance et d'égalité) de constantes d'individus.

Les quantifications présentes dans les axiomes de la théorie des ensembles sont alors généralement relativisées aux seuls ensembles et ne s'appliquent pas aux ur-elements.

Dans des axiomatiques comme la théorie des ensembles typée, les objets de type 0, ou atomes, peuvent être considérés comme des ur-elements.

Résultats

L'adjonction d'ur-elements au système des New Foundations de  Quine (NF), a des conséquences surprenantes. En particulier, alors que l'on ne sait pas si la théorie NF est cohérente (relativement à ZFC et ses extensions), la théorie NF avec Ur-elements, notée NFU, se révèle cohérente relativement à l'arithmétique de Peano : une théorie bien plus faible que ZFC. De plus NFU plus l'axiome du choix est cohérente relativement à NFU, alors que NF démontre la négation de l'axiome du choix !

Auteur: Internet

Info: https://fr.wikipedia.org/wiki/Ur-element

[ composant singulier ] [ corps étranger ]

unicité

Parce que toutes ces choses sont des aspects de l'holomouvement, il estime que cela n'a pas de sens de parler de conscience et de matière en interaction. En un sens, l'observateur est l'observé. L'observateur est également l'appareil de mesure, les résultats expérimentaux, le laboratoire et la brise qui souffle à l'extérieur du laboratoire. En fait, Bohm pense que la conscience est une forme plus subtile de la matière, et que la base de toute relation entre les deux ne se trouve pas dans notre propre niveau de réalité, mais dans l'ordre implicite. La conscience est présente à divers degrés d'épanouissement et de déploiement dans toute la matière, ce qui explique peut-être pourquoi les plasmas possèdent certaines des caractéristiques des êtres vivants. Comme le dit Bohm, "la capacité de la forme à être active est le trait le plus caractéristique de l'esprit, et nous avons déjà quelque chose qui ressemble à l'esprit avec l'électron."

 De même, il pense que la division de l'univers en êtres vivants et non vivants n'a pas de sens. La matière animée et la matière inanimée sont indissociablement liées, et la vie, elle aussi, est enveloppée dans la totalité de l'univers. Selon Bohm, même un rocher est en quelque sorte vivant, car la vie et l'intelligence sont présentes non seulement dans toute la matière, mais aussi dans "l'énergie", "l'espace", "le temps", "le tissu de l'univers entier" et tout ce que nous extrayons de l'holo-mouvement et que nous considérons à tort comme des choses séparées. L'idée que la conscience et la vie (et en fait toutes les choses) sont des ensembles enveloppés dans l'univers a un revers de médaille tout aussi éblouissant. De même que chaque partie d'un hologramme contient l'image du tout, chaque partie de l'univers enveloppe le tout. Cela signifie que si nous savions comment y accéder, nous pourrions trouver la galaxie d'Andromède dans l'ongle de notre main gauche. Nous pourrions également trouver Cléopâtre rencontrant César pour la première fois, car en principe, tout le passé et les implications pour tout l'avenir sont également enveloppés dans chaque petite région de l'espace et du temps. Chaque cellule de notre corps englobe le cosmos tout entier. Il en va de même pour chaque feuille, chaque goutte de pluie et chaque grain de poussière, ce qui donne un nouveau sens au célèbre poème de William Blake : "Pour voir un monde dans un grain de sable et un ciel dans une fleur sauvage, tenez l'infini dans la paume de votre main et l'éternité dans une heure."

Auteur: Talbot Michael Coleman

Info:

[ dualité miroir ] [ Brahman ]

réfléchir

Le calcul mental active des aires cérébrales impliquées dans l'attention spatiale. Une étude menée par des chercheurs du CEA, de l'Inserm, de l'Inria, de l'Université Paris-Sud au sein de l'unité Inserm/CEA "Neuro imagerie cognitive", à NeuroSpin.
Grâce à l'imagerie cérébrale par résonance magnétique à 3 Teslas de NeuroSpin, ces équipes viennent de mettre en évidence un rapprochement inattendu entre les représentations des nombres et celles de l'espace dans le cerveau. Ces travaux, qui sont publiés dans Science Express, pourraient avoir des conséquences importantes pour l'enseignement de l'arithmétique.
Au sein de l'équipe de Stanislas Dehaene dans l'unité Inserm/CEA de neuro imagerie cognitive à NeuroSpin, André Knops a enregistré l'activité du cerveau au moyen d'un appareil d'imagerie par résonance magnétique (IRM) de 3 Teslas, alors que des adultes volontaires effectuaient, soit des additions et des soustractions mentales, soit des mouvements des yeux vers la droite ou vers la gauche de l'écran. Un logiciel de traitement du signal a ensuite permis d'identifier des régions du cerveau impliquées dans les mouvements des yeux, et d'en déduire un algorithme qui, à partir de l'activité cérébrale, dévoile un aspect du comportement des sujets.
À partir des images IRM de haute résolution obtenues, les chercheurs ont été en mesure de déduire, essai par essai, si la personne avait orienté son regard vers la droite ou vers la gauche, avec un taux de succès de 70 %. Plus surprenant, cette classification s'est étendue au calcul mental: les chercheurs ont ainsi observé la même distinction entre l'activité cérébrale évoquée pendant les mouvements à gauche ou à droite et pendant les opérations de soustraction ou d'addition - que ces opérations soient réalisées avec des ensembles concrets d'objets (calcul non symbolique) ou avec des nombres symboliques (calcul symbolique) présentés sous formes de chiffres arabes.
Ils en ont conclu que le calcul mental ressemblait à un déplacement spatial. Par exemple, dans une certaine mesure, lorsqu'une personne qui a appris à lire de gauche à droite, calcule 18 + 5, son attention se déplace "vers la droite" de 18 à 23 dans l'espace des nombres, comme si les nombres étaient représentés sur une ligne virtuelle.
En mettant en évidence l'interconnexion entre le sens des nombres et celui de l'espace, ces résultats éclairent l'organisation de l'arithmétique dans le cerveau. Ils sont compatibles avec l'hypothèse, développée par Stanislas Dehaene, que les apprentissages scolaires entraînent un recyclage neuronal de régions cérébrales héritées de notre évolution et dédiées à des fonctions proches.
Chez les enfants en difficultés, l'utilisation de jeux qui insistent sur la correspondance entre les nombres et l'espace, tels que le jeu des "petits chevaux", peut conduire à des améliorations prononcées des compétences en mathématiques. Sur ce principe, un logiciel ludo-pédagogique en libre accès, "La course aux nombres", a été développé par le même groupe afin de faciliter l'apprentissage de l'arithmétique.

Auteur: Internet

Info: 13 Mai 2009

[ voir ]

astrophysique

Une nouvelle étude met en doute le modèle standard d’expansion de l’Univers

Le taux d'expansion de l'Univers a deux valeurs différentes mais très précises et qui ne sont pas compatibles. Ce problème, connu sous le nom de tension de Hubble, rejoint d'autres questions, telles que l'origine de l'énergie noire et le problème de la planéité.

(Photo) Pour cette étude, des solutions numériques ont été obtenues pour les densités d'énergie/matière noire et pour le paramètre Hubble.

L'objectif de ce travail est d'expliquer la tension de Hubble à travers une interprétation géométrique de points de vue observationnels sur des variétés incorporées.

Des ensembles de données de 1048 supernovae Panthéon de type Ia et de 34 chronomètres cosmiques combinés à 7 échantillons basés sur la taille de l'oscillation acoustique radiale du baryon ont été utilisés pour contraindre le modèle.

Cette étude a été publiée dans la revue Classical and Quantum Gravity, par Robert Monjo et Rutwig Campoamor-Stursberg, professeurs au Département d'algèbre, géométrie et topologie de l'Université Complutense de Madrid.

L’expansion de l’Univers se produit-elle ou non comme on le pensait auparavant ?

Selon les auteurs, "les observations géométriques pures, telles que l'échelle de distance cosmique, montrent que l'expansion de l'Univers n'est pas comme celle observée dans le rayonnement de fond cosmique des micro-ondes". Cette différence, expliquent-ils, implique une incompatibilité statistique connue en cosmologie sous le nom de " tension de Hubble ", liée au paramètre d'expansion de l'Univers, dont le nom a été inventé en l'honneur de l'astronome Edwin Hubble, qui a détaillé le taux d'expansion il y a un siècle.

Ces travaux montrent que, lorsqu'on applique la géométrie analytique au mouvement des étoiles supernova, l'expansion cosmique se comporte " comme si elle était linéaire, avec une vitesse égale à l'inverse de l'âge de l'Univers ".

Selon Monjo, l'auteur principal de l'étude, les observations recueillies par les missions spatiales au cours des dernières décennies sont " déformées par les trajectoires courbes de la lumière dans l'espace en expansion ", provoquant une " accélération apparente ".

Pour prouver son hypothèse, l'étude analyse sa compatibilité avec la théorie standard, prédisant une "énergie sombre apparente" de 70%, c'est-à-dire "très similaire à celle vraisemblablement observée dans le fond cosmique des micro-ondes". La différence par rapport au modèle standard serait que cette valeur serait constante, c'est-à-dire qu'elle aurait toujours la même valeur pour s'ajuster à l'expansion linéaire.

Selon cette étude, intitulée " Perspective géométrique pour expliquer la tension de Hubble ", l'Univers serait fini, en expansion linéaire à la vitesse de la lumière, et fermé par un rayon de courbure égal à l'âge de l'Univers. Avec ces ingrédients, les auteurs dérivent une accélération fictive similaire à celle qui explique l’énergie noire.

Les auteurs envisagent l'hypothèse selon laquelle l'Univers pourrait être fini, (...) s'étendant linéairement à la vitesse de la lumière, et fermé par un rayon de courbure égal à l'âge de l'Univers (...).

Actuellement, tous les indices et alternatives à la matière noire sont sérieusement analysés par la communauté scientifique. Si les découvertes de Monjo et Campoamor-Stursberg se confirment, ce sera une nouvelle ère dans la cosmologie moderne.

Auteur: Internet

Info: tameteo.com, Joana Campos Meteored Portugal 05/11/2023

[ cosmologie ]

advaita

Au cours de cette même période de sa vie, Bohm continua également d'affiner son approche alternative de la physique quantique. En examinant plus attentivement la signification du potentiel quantique, il se rendit compte qu'il présentait un certain nombre de caractéristiques qui impliquaient une rupture encore plus radicale avec la pensée orthodoxe. L'une d'elles est l'importance de l'intégralité. La science classique avait toujours considéré l'état d'un système dans son ensemble comme le simple résultat de l'interaction de ses parties. Cependant, le potentiel quantique remettait en cause cette vision et indiquait que le comportement des parties était en fait organisé par le tout. Non seulement l'affirmation de Bohr selon laquelle les particules subatomiques ne sont pas des "choses" indépendantes, mais font partie d'un système indivisible, fut poussée plus loin, mais on suggéra même que la totalité était en quelque sorte la réalité la plus primaire. Il expliqua également comment les électrons dans les plasmas (et d'autres états spécialisés tels que la supraconductivité) pouvaient se comporter comme des ensembles interconnectés. Comme l'affirme Bohm, ces "électrons ne sont pas dispersés car, grâce à l'action du potentiel quantique, l'ensemble du système subit un mouvement coordonné qui ressemble davantage à une danse de ballet qu'à une foule de personnes non organisées". Il note une fois de plus qu'"une telle activité globale quantique est plus proche de l'unité du fonctionnement organisé des parties d'un être vivant que du type d'unité que l'on obtient en assemblant les pièces d'une machine."

Une caractéristique encore plus surprenante du potentiel quantique était ses implications au niveau de la localisation. Dans notre vie quotidienne, les choses ont des emplacements spécifiques, mais l'interprétation de la physique quantique par Bohm indiquait qu'à l'échelle subquantique, celle où le potentiel quantique opère, la notion d'emplacement n'existe plus. Tous les points de l'espace sont alors égaux à tous les autres points de l'espace, et il est inutile de parler d'une chose comme étant séparée d'une autre. Les physiciens appellent cette propriété "non-localité". Aspect non local du potentiel quantique qui a permis à Bohm d'expliquer la connexion entre des particules jumelles sans que celà viole l'interdiction faite par la relativité restreinte pour tout ce qui se déplace plus vite que la vitesse de la lumière. Pour illustrer comment, il propose l'analogie suivante : Imaginez un poisson qui nage dans un aquarium. Imaginez également que vous n'avez jamais vu de poisson ou d'aquarium auparavant et que votre seule connaissance à leur sujet provient de deux caméras de télévision, l'une dirigée vers l'avant de l'aquarium et l'autre vers son côté. Lorsque vous regardez les deux écrans de télévision, vous pouvez penser à tort que les poissons qui s'y trouvent sont des entités distinctes. Après tout, comme les caméras sont placées à des angles différents, chacune des images sera légèrement différente. Mais en continuant à regarder, vous finirez par réaliser qu'il existe une relation entre les deux poissons. Quand l'un se tourne, l'autre fait un tour légèrement différent mais correspondant. Quand l'un fait face à l'avant, l'autre fait face à l'arrière, et ainsi de suite. Si vous n'avez pas conscience de l'ampleur de la situation, vous pourriez conclure à tort que les poissons communiquent instantanément entre eux, mais ce n'est pas le cas. Il n'y a pas de communication parce qu'à un niveau plus profond de la réalité, la réalité de l'aquarium, les deux poissons sont en fait une seule et même chose. Selon Bohm, c'est précisément ce qui se passe entre des particules telles que les deux photons émis lors de la désintégration d'un atome de positronium. 

Auteur: Talbot Michael Coleman

Info: L'univers holographique

[ brahman ] [ biais dual ]

machine pensante

Cette IA de Deepmind pourrait révolutionner les maths et " repousser les frontières de la connaissance humaine "

DeepMind vient de frapper un grand coup : le laboratoire d'IA de Google a annoncé en janvier avoir développé AlphaGeometry, une intelligence artificielle révolutionnaire capable de rivaliser avec les médaillés d'or des Olympiades internationales dans la résolution de problèmes de géométrie. Si cela ne vous parle pas, sachez que les médailles Fields - Terence Tao, Maryam Mirzakhani et Grigori Perelman - ont tous les trois été médaillés d'or lors de cette compétition annuelle de mathématiques qui fait s'affronter les meilleurs collégiens et lycéens du monde. Or, AlphaGeometry a résolu avec succès 25 des 30 problèmes de géométrie de l'Olympiade, se rapprochant ainsi du score moyen des médaillés d'or humains. C'est 15 de plus que son prédécesseur. Mais comment les scientifiques de DeepMind ont-ils accompli un tel exploit ?

L'approche neuro-symbolique, la petite révolution de l'IA

AlphaGeometry est le fruit d'une approche neuro-symbolique, combinant un modèle de langage neuronal (MLN) et un moteur de déduction symbolique (MDS).

Les MLN sont des réseaux de neurones artificiels entraînés sur de vastes ensembles de données textuelles. Ils sont capables d'apprendre et de reconnaître des schémas et des structures dans les données textuelles, ce qui leur permet de générer du texte cohérent et de comprendre le langage naturel. Les MDS sont, pour leur part, particulièrement efficaces pour traiter des problèmes qui nécessitent une manipulation formelle des symboles et des règles logiques.

L'approche neuro-symbolique permet de faire travailler ces deux composantes en tandem : dans le cadre d'AlphaGeometry, le MLN prédit des constructions géométriques potentiellement utiles, puis le MDS utilise ces prédictions pour guider la résolution du problème. Cette combinaison offre à l'IA les capacités intuitives des réseaux de neurones et la rigueur logique des moteurs de déduction symbolique, ce qui lui permet de résoudre efficacement des problèmes de géométrie complexes.

Pour surmonter le manque de problèmes mathématiques de niveau Olympiades qui auraient dû servir de données d'entraînement à AlphaGeometry, les chercheurs ont développé une méthode innovante de génération de données synthétiques à grande échelle, permettant au génial bébé de DeepMind de s'entraîner sur un ensemble de 100 millions d'exemples uniques.

(Image : Alphageometry résoud un problème simple...) 

Mission : repousser les frontières de la connaissance

Cette réalisation marque une avancée significative dans le développement de systèmes d'IA capables de raisonner et de résoudre des problèmes mathématiques complexes, rapportent les chercheurs de DeepMind dans un article paru dans Nature en février dernier. Bien que présentant des résultats impressionnants, AlphaGeometry se heurte tout de même à quelques défis, notamment celui de s'adapter à des scénarios mathématiques de plus en plus complexes et à mobiliser ses compétences dans des domaines mathématiques autres que la géométrie. 

Malgré tout, cette avancée ouvre la voie à d'extraordinaires possibilités dans les domaines des mathématiques, des sciences et de l'IA. Ses créateurs ne cachent d'ailleurs pas leur ambition : " Notre objectif à long terme reste de construire des IA capables de transférer leurs compétences et leurs connaissances dans tous les domaines mathématiques en développant la résolution de problèmes et le raisonnement sophistiqués dont dépendront les systèmes d'IA généraux ", assènent Trieu Trinh et Thang Luong, les responsables du projet dans un communiqué. 

Le ton est donné : autrement dit, les systèmes d'IA développés par DeepMind doivent acquérir des capacités de résolution de problèmes sophistiquées et de raisonnement, ce qui implique la capacité à identifier des schémas, à formuler des hypothèses, à déduire des conclusions et à prendre des décisions logiques dans des contextes variés. Le tout en " repoussant les frontières de la connaissance humaine ". Très ambitieux, mais peut-être pas impossible.

Auteur: Internet

Info: https://www.futura-sciences.com/ - mars 2024

[ robot intelligent ] [ historique ]