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

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/

IA=Danger pour l'humanité.

il y a 28 minutes, Indigo a dit :

IA=Danger pour l'humanité.

Pourquoi ?

il y a 2 minutes, Black Dog a dit :

Pourquoi ?

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

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.

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.

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 ‼

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

Faut lui changer ses couches à ce minot.. .

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 .

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.

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.

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 …

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.

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 …

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.