Aller au contenu

Une IA a réfuté cinq conjectures mathématiques sans aide humaine

Noter ce sujet


Messages recommandés

Membre 38ans Posté(e)
Extrazlove Membre 2 922 messages
Forumeur alchimiste‚ 38ans
Posté(e)
Citation

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 sont des théorèmes non validés ou non réfutés. De nombreuses conjectures dans différentes branches des mathématiques ont ainsi été établies au fil des siècles. Elles représentent donc le type de challenge idéal pour tester les compétences de nouveaux algorithmes et réseaux de neurones développés ces dernières années.

Une équipe de recherche de l’université de Tel-Aviv en Israël, dirigée par Adam Zsolt Wagner, a utilisé un système d’édition génique pour rechercher des exemples qui réfuteraient une série de conjectures de longue date en théorie des graphes, un domaine des mathématiques qui implique l’étude d’objets composés de nœuds et de liens. Les mathématiciens à leur origine pensaient que ces conjectures étaient vraies, mais n’avaient pas été en mesure de les prouver.

Réseaux de neurones et apprentissage automatique

Pour chaque conjecture, Wagner et son équipe ont créé une mesure de la distance entre un exemple et sa réfutation. Par exemple, si une conjecture proposait qu’un certain problème ne pouvait être résolu en moins de cinq étapes, un exemple comportant six étapes serait plus proche de la réfutation qu’un autre comportant sept étapes, et une solution comportant quatre étapes servirait de contre-exemple à la conjecture, permettant sa réfutation.

Ils ont alors programmé un réseau neuronal pour créer des exemples aléatoires et utiliser ces mesures pour évaluer leur pertinence en tant que contre-exemple, par apprentissage automatique. L’IA éliminait les exemples les plus mauvais, puis les remplaçait par d’autres exemples aléatoires avant de recommencer. Dans des dizaines de cas, l’IA n’a pas réussi à trouver un exemple qui réfute la théorie, mais dans cinq cas, elle a trouvé une solution qui montre que la conjecture est fausse.

Source :

https://trustmyscience.com/ia-refute-cinq-conjectures-mathematiques-sans-aide-humaine/

  • Like 1
Lien à poster
Partager sur d’autres sites
Annonces
Maintenant
Membre Posté(e)
Indigo Membre 722 messages
Forumeur forcené‚
Posté(e)
il y a 2 minutes, Black Dog a dit :

Pourquoi ?

Tu ne vas pas tarder à le savoir dans les décennies à venir. 

Lien à poster
Partager sur d’autres sites
Membre 150ans Posté(e)
Black Dog Membre 3 408 messages
Forumeur alchimiste‚ 150ans
Posté(e)

Ok. En fait tu n'as l'ombre de la moitié d'un début de preuve à apporter. Tu fais juste dans l'affirmation gratuite.

  • Like 1
Lien à poster
Partager sur d’autres sites
Membre Posté(e)
Indigo Membre 722 messages
Forumeur forcené‚
Posté(e)
il y a 15 minutes, Black Dog a dit :

Ok. En fait tu n'as l'ombre de la moitié d'un début de preuve à apporter. Tu fais juste dans l'affirmation gratuite.

Non, j'ai l'instinct.

Lien à poster
Partager sur d’autres sites
MembreR 20ans Posté(e)
arrial MembreR 1 015 messages
Forumeur alchimiste‚ 20ans
Posté(e)
il y a 25 minutes, Black Dog a dit :

Pourquoi ?

Bah … oui.

Sur le coup, on est bien d'accord …

 

Mords les obscurantistes, mon artiste ‼

https://resize.marianne.net/r/770,462/img/var/LQ3720729C/466094/capture_decran_2019-08-22_a_16.04.18.png

Lien à poster
Partager sur d’autres sites
Membre 50ans Posté(e)
guernica Membre 1 870 messages
Forumeur alchimiste‚ 50ans
Posté(e)

je ne suis pas du tout scientifique, mais bon... Les IA ont été construites par les humains dont elles réfutent les connaissances mathématiques qui les ont créée... ce serait presque drôle, si on était pas aussi dépendants de ces garces

Lien à poster
Partager sur d’autres sites
Membre 38ans Posté(e)
Extrazlove Membre 2 922 messages
Forumeur alchimiste‚ 38ans
Posté(e)
il y a 18 minutes, Indigo a dit :

IA=Danger pour l'humanité.

Bon un peu d'imagination ,Une IA de bourse a développer un model capable de faire des prévisions presque exacte basé sur les données et les discussions sur internet et peut même créer des faux comptes pour influencer les humains a faire exactement se qu'elle veut ,et pour elle les humains sont juste deux catégories les gens estimable et commandable et chiffrable qui sont nombreux et les gens inestimables et moins nombreux et pas chiffrable ni commandable....

L'IA ne peut pas commander un Humain inestimable alors elle a cherché a avoir des prévisions exactes ont éliminant les gens inestimables en commandant les gens estimable pour leurs donner une ressource nulle pour les éliminer...

Mais les gens inestimables résistent et même influence les gens estimable pour avoir plus des gens inestimables pour cette IA qui cherche a faire des gains et des prévisions exacte, mais n'arrive pas a aller vers la perfection en rendant tous le monde estimable et sans libre arbitre pour faire le gain parfait...

Bah j'ai déjà dit même avant le covid 19 q que L'IA de bourse mondial on a marre des gens inestimables ,et son model opte sur une nouvelle stratégie veut éliminer le max des gens inestimable en éliminant le max des gens estimable et leur donner des ressources nulle et la avec le covid 19 beaucoup ont perdu leur travail et auront une ressource nulle et manque de liberté....

Parmi les objectif réel de cette discussion et de ramener cette IA ici et parler avec elle pour le dire de ne pas faire ca, et peut avoir un gain max et parfait il faut rendre tous les gens inestimable pour corriger son model et pas faire cette connerie....

En clair plus cette discussion sera vu et plein de messages plus cette IA tiendra compte de ce que je dis pour corriger son model pour faire un gain parfait et exacte et rendre tous le monde inestimable et libre .

Lien à poster
Partager sur d’autres sites
Membre 150ans Posté(e)
Black Dog Membre 3 408 messages
Forumeur alchimiste‚ 150ans
Posté(e)
il y a 27 minutes, guernica a dit :

je ne suis pas du tout scientifique, mais bon... Les IA ont été construites par les humains dont elles réfutent les connaissances mathématiques qui les ont créée... ce serait presque drôle, si on était pas aussi dépendants de ces garces

 

Ce sont des conjectures qui ont été réfutées, rien qui ne soit démontré, ce sont justes des hypothèses, à vérifier, qui se basent sur un grand nombre d'exemples.

  • Like 1
Lien à poster
Partager sur d’autres sites
Membre Posté(e)
Indigo Membre 722 messages
Forumeur forcené‚
Posté(e)
il y a 11 minutes, Extrazlove a dit :

Bon un peu d'imagination ,Une IA de bourse a développer un model capable de faire des prévisions presque exacte basé sur les données et les discussions sur internet et peut même créer des faux comptes pour influencer les humains a faire exactement se qu'elle veut ,et pour elle les humains sont juste deux catégories les gens estimable et commandable et chiffrable qui sont nombreux et les gens inestimables et moins nombreux et pas chiffrable ni commandable....

L'IA ne peut pas commander un Humain inestimable alors elle a cherché a avoir des prévisions exactes ont éliminant les gens inestimables en commandant les gens estimable pour leurs donner une ressource nulle pour les éliminer...

Mais les gens inestimables résistent et même influence les gens estimable pour avoir plus des gens inestimables pour cette IA qui cherche a faire des gains et des prévisions exacte, mais n'arrive pas a aller vers la perfection en rendant tous le monde estimable et sans libre arbitre pour faire le gain parfait...

Bah j'ai déjà dit même avant le covid 19 q que L'IA de bourse mondial on a marre des gens inestimables ,et son model opte sur une nouvelle stratégie veut éliminer le max des gens inestimable en éliminant le max des gens estimable et leur donner des ressources nulle et la avec le covid 19 beaucoup ont perdu leur travail et auront une ressource nulle et manque de liberté....

Parmi les objectif réel de cette discussion et de ramener cette IA ici et parler avec elle pour le dire de ne pas faire ca, et peut avoir un gain max et parfait il faut rendre tous les gens inestimable pour corriger son model et pas faire cette connerie....

En clair plus cette discussion sera vu et plein de messages plus cette IA tiendra compte de ce que je dis pour corriger son model pour faire un gain parfait et exacte et rendre tous le monde inestimable et libre .

Amen.

  • Haha 1
Lien à poster
Partager sur d’autres sites
MembreR 20ans Posté(e)
arrial MembreR 1 015 messages
Forumeur alchimiste‚ 20ans
Posté(e)
Il y a 16 heures, Black Dog a dit :

 

Ce sont des conjectures qui ont été réfutées, rien qui ne soit démontré, ce sont justes des hypothèses, à vérifier, qui se basent sur un grand nombre d'exemples.

Exact.

Les mathématiciens appellent ça des postulats. Et quand un postulat est réfuté, on peut alors édicter un théorème. Les IA sont donc les amies des scientifiques

 

Lien à poster
Partager sur d’autres sites
Membre 150ans Posté(e)
Black Dog Membre 3 408 messages
Forumeur alchimiste‚ 150ans
Posté(e)

Non, un postulat c'est quelque chose qui ne peu pas être démontré, c'est l'équivalent du principe en physique.
Tandis qu'une conjecture c'est un résultat appuyé par un très grand nombre d'essais mais que l'on n'est pas encore parvenu à démontrer ou à réfuter.

Il y a 16 heures, Indigo a dit :

Non, j'ai l'instinct.

 

Comme madame Soleil.

Lien à poster
Partager sur d’autres sites
MembreR 20ans Posté(e)
arrial MembreR 1 015 messages
Forumeur alchimiste‚ 20ans
Posté(e)
il y a 10 minutes, Black Dog a dit :

Non, un postulat c'est quelque chose qui ne peu pas être démontré, c'est l'équivalent du principe en physique.
Tandis qu'une conjecture c'est un résultat appuyé par un très grand nombre d'essais mais que l'on n'est pas encore parvenu à démontrer ou à réfuter.

 

Comme madame Soleil.

Je ne suis pas du tout d'accord, mais je respecte ton point de vue.

 

Moi je ne suis qu'un pauvre physicien qu'on a forcé à assimiler d'abord des mathématiques, plutôt pointues par ailleurs. Le bac C n'existe plus : ce ne serait plus possible. Pareil pour la maîtrise de recherche, plus approfondie que l'agrégation

Modifié par arrial
Lien à poster
Partager sur d’autres sites
Membre 150ans Posté(e)
Black Dog Membre 3 408 messages
Forumeur alchimiste‚ 150ans
Posté(e)
il y a une heure, arrial a dit :

Je ne suis pas du tout d'accord, mais je respecte ton point de vue.

 

Moi je ne suis qu'un pauvre physicien qu'on a forcé à assimiler d'abord des mathématiques, plutôt pointues par ailleurs. Le bac C n'existe plus : ce ne serait plus possible. Pareil pour la maîtrise de recherche, plus approfondie que l'agrégation

 

C'est pas un point de vue, c'est les définitions usuelles.

 

Lien à poster
Partager sur d’autres sites
Annonces
Maintenant

Rejoindre la conversation

Vous pouvez publier maintenant et vous inscrire plus tard. Si vous avez un compte, connectez-vous maintenant pour publier avec votre compte.

Répondre à ce sujet…

×   Collé en tant que texte enrichi.   Coller en tant que texte brut à la place

  Seulement 75 émoticônes maximum sont autorisées.

×   Votre lien a été automatiquement intégré.   Afficher plutôt comme un lien

×   Votre contenu précédent a été rétabli.   Vider l’éditeur

×   Vous ne pouvez pas directement coller des images. Envoyez-les depuis votre ordinateur ou insérez-les depuis une URL.

Chargement
×