Topic de StepbroWRUD :

La nouvelle video d'EGO est sortie.

Le 13 octobre 2024 à 07:01:40 :

Ma formulation était hasardeuse, je voulais dire que le genre de concept que je créé pourrait l'être à moyen terme artificiellement.

Cela dit, dans ce cas, si je prends l'exemple d'écrire un papier de recherche d'informatique théorique (mon domaine), ça prend au moins 3 mois. C'est un job particulier, car pas besoin d'interaction avec des humains, ce que je fais ça n'a pas d'utilité directe

Comme cité plus haut, faire un papier de ML low content avec IA Scientist (juste en phase de test), qui inclut des simulations, ca prend 10 minutes

Donc si une IA est capable de créer un concept théorique (mathématique/informatique), je peux te dire que 3 mois de temps de travail ça se fait en 10 minutes dans un data center, t'as un problème d'ordre de grandeur

Si (supposition) ça devient possible, on parle potentiellement avec un gros serveur d'atteindre la productivité de tous les chercheurs du monde hein. Donc tu peux rempacer les centaines de milliers de chercheurs, et tous les jobs de profs a l'université tant qu'a faire, par 5 gus qui font les poussières dans ton datacenter
Faut bien se rendre compte d'a quel point il y a une différence essentielle, tout comme ton PC portable peut faire 10.000.000.000 de multiplication par secondes. Si tu demandes à toute l'humanité de faire des multiplications, on sera plus lents tous ensemble que ton ordinateur.

C'est le meme principe à l'échelle d'une découverte scientifique

oui, et combien de temps pour corriger les artefacts ? combien de fois l'ia va pondre un truc parfait, ou "humain"
la fois ou elle va se planter est-ce qu'elle va se planter un million de fois par minute aussi ? https://image.noelshack.com/fichiers/2021/15/7/1618708728-menhera19.png

En fait pour rester dans l'exemple de la recherche scientifique vu que c'est ce que je maitrise, il existe déjà un langage de programation de vérification de preuve, c'est à dire que si tu écris ta preuve avec le bon langage, on sait si elle est correcte ou pas (et le fait que ça marche c'est prouvé, ca s'appelle COQ)
Du coup, imagine ton IA tente une preuve pour un nouveau théorème, elle donne sa preuve a une IA qui traduis tout dans le bon langage de vérification de preuve, si jamais ça fail, pas la peine d'un humain pour le savoir
Si jamais COQ te dit que c'est ok, bravo tu as découvert un nouveau résultat scientifique

Maintenant imagine toute cette équipe d'IA, qui est peut etre pas aussi maligne qu'un humain, mais qui peut essayer 1000 preuves par secondes
Même sans avoir une bonne intuition, elles finiront bien par la trouver cette preuve qui marche

Et dans tout ça, aucun humain n'a besoin d'être dans la boucle

Ici je te parle d'un système qui n'existe pas encore, mais qui existera avec certitude dans un futur proche (cette décénie)

Données du topic

Auteur
StepbroWRUD
Date de création
13 octobre 2024 à 01:43:48
Nb. messages archivés
183
Nb. messages JVC
160