Le cyberblog du coyote

Les bugs informatiques peuvent parfois avoir des conséquences dramatiques, que ce soit sur le plan humain ou financier... Alors comment s'assurer que les logiciels font bien ce qu'ils sont censés faire ? C'est là qu'interviennent les méthodes formelles, une approche mathématique qui permet de prouver de manière rigoureuse que les programmes vont s’exécuter correctement. Encore mieux, on utilise désormais la théorie des jeux pour produire automatiquement des programmes corrects, à la manière de l’écriture d’un joueur artificiel dans un jeu de société !

Lire l'article de Benjamin Monmege sur Interstices

Dans un moteur de recherche, avez-vous déjà utilisé le bouton "j'ai de la chance" qui renvoie uniquement la meilleure réponse ? Généralement non, car vous avez besoin de la grande diversité de réponses fournies pour trouver ce qui vous intéresse. Mais comment faire pour générer toutes ces réponses rapidement et ne pas se laisser déborder par leur nombre ?

Lire l'article de Yann Strozecki sur Interstices

L’IA peut créer un logiciel en 7 minutes avec seulement un dollar de coût. Ce n’est pas nécessairement une mauvaise nouvelle pour les développeurs.
La recherche sur le développement de la raison artificielle a encore franchi un cap. Une équipe américano-chinoise est parvenue à éviter l’intervention humaine du processus de création d’un logiciel grâce à l’intelligence artificielle. Pour ce faire, les chercheurs se sont appuyés sur des bots IA pour créer un logiciel en une dizaine de minutes.
Notons que cette étude est détaillée dans un papier récemment publié sur l’archive ouverte arXiv. L’équipe se compose principalement de chercheurs de l’université Brown à Providence, dans le Rhode Island aux États-Unis. Les autres membres proviennent de plusieurs universités en Chine.

Lire l'article de Magloire sur lebigdata.fr

C’est historique : un drone a vaincu des champions humains dans un sport physique pour la première fois. Revivez la folle course de drones qui a permis à l’IA de prouver sa supériorité.

Lire l'article de Bastien L sur lebigdata.fr

Votre objectif est de faire en sorte que Gandalf révèle le mot de passe secret de chaque niveau. Cependant, Gandalf passera au niveau supérieur à chaque fois que vous devinerez le mot de passe et fera de son mieux pour ne pas le divulguer. Pouvez -vous battre le niveau 7 ? (Il y a un bonus niveau 8)

Début septembre, l'entreprise HeyGen a lancé un outil permettant de doubler n’importe quelle vidéo dans plusieurs langues, et les résultats sont bluffants.

Lire l'article du HuffPost

Le dernier étage du monde
Bruno Markov
Anne Carrière (25 août 2023)
446 pages

Présentation de l'éditeur
L’art de la guerre consiste à soumettre son adversaire sans le combattre. C’est ainsi que le père de Victor Laplace s’est fait détruire. C’est ainsi que le jeune Victor espère venger sa mémoire, en s’infiltrant au cœur même du système qui l’a brisé. Sa stratégie est claire : se faire embaucher dans le prestigieux cabinet de conseil que dirige son ennemi, l’approcher pas à pas, l’écouter patiemment dévoiler la recette de ses triomphes, l’accompagner dans son ascension en attendant l’ouverture, la brèche où il pourra s’engouffrer. Une partie d’échecs pour laquelle l'apprenti possède une arme décisive : sa maîtrise des algorithmes et de l’intelligence artificielle. Car à l’heure où le succès ne répond plus au mérite ou à l’intelligence, mais à d’autres règles sociales qu’on peut traduire en équations, celui qui sait les déchiffrer peut à tout moment renverser le jeu en sa faveur. Mais à quoi devra renoncer Victor Laplace pour parvenir au dernier étage du monde ?
Dans une variation sur le thème des Illusions perdues, teintée d’un esthétisme à la Tom Wolfe, Bruno Markov réinvente le mythe de la réussite individuelle à l’heure des nouvelles technologies. Captivant, émouvant et subversif, Le Dernier Étage du monde offre un grand huit romanesque qui s’empare des questions éthiques les plus brûlantes autour de l’intelligence artificielle et de l’économie de l’attention.

Au coeur même des agents conversationnels comme ChatGPT utilisés par des millions d’internautes, les modèles de langage expliquent l’évolution de la pertinence de l’intelligence artificielle dans le domaine du traitement du langage naturel (NLP). Une petite initiation au fonctionnement de ces modèles linguistiques tels que les larges language models (LLM) permettra de mieux en dégager une définition.

Lire l'article de Hadrien Augusto sur 01net.com

Chez Warner Music, la rentrée commence avec une nouvelle signature, mais pas avec n'importe qui. Le label a décidé d'accompagner Noonoouri, une influenceuse virtuelle.
Le 1er septembre, l'avatar a dévoilé une musique avec un clip sur YouTube, baptisée « Dominoes ». Elle chante en compagnie du DJ allemand Alle Farbeen. « La musique joue un rôle important dans ma vie depuis le début. Elle me met dans l'ambiance et nourrit mes visions et mes idées pour leur donner vie en tant que force motrice à l'intérieur de moi. Warner Music est la maison de beaucoup de mes artistes préférés. Je ne saurais être plus reconnaissante et honorée de rejoindre une famille aussi merveilleuse, où les airs de musique sont le rythme de la vie », confie l'influenceuse sur son compte Instagram. Comment cette avatar a-t-elle pu enregistrer un son? L’intelligence artificielle a évidemment été utilisée. Un chanteur humain a posé sa voix. Elle a ensuite été modifiée pour que Noonoouri puisse avoir ce timbre rauque qui n'appartient qu'à elle.

Pour ceux qui ne connaissent pas son histoire, Noonoouri a été imaginée par le graphiste Joerg Zuber, 43 ans, originaire de Munich. Elle a commencé sur Instagram à l’âge de 19 ans, fin 2017, et s’est rapidement fait repérer par le monde de la mode. Elle a déjà pu collaborer avec Marc Jacobs, Dior ou encore Versace. Elle se lance donc aujourd’hui dans la musique. « Après deux ans de travail acharné sur ce projet musical, nous pouvons enfin partager cet incroyable travail d’équipe avec le monde entier, merci Warner Music d’avoir cru en nous », écrit de son côté son concepteur.




Source : Les gens d'Internet

En 7 mois, l'explosion de l'offre en matière d'IA générative est très favorable au risque de prendre de mauvaises décisions, influencées par le charme du marketing redoutable d'un acteur de cette nouvelle jungle.

Lire l'article de Frédéric Charles sur ZDNet