Termes

Knowledge Graph

Suivez les dernières actualités, explications et histoires technologiques associées.

Dernières actualités

CN
Lancement d’une plateforme unifiée pour explorer les données du système des Nations unies grâce à l’intelligence artificielle

Lancement d’une plateforme unifiée pour explorer les données du système des Nations unies grâce à l’intelligence artificielle

Le système des Nations unies a lancé la plateforme UN System Data Commons, construite sur Data Commons de Google, afin d’intégrer les statistiques mondiales dans un graphe de connaissances utilisable avec des outils d’intelligence artificielle. La plateforme permet d’effectuer des recherches en langage naturel et prévoit d’ajouter les données d’un plus grand nombre d’entités des Nations unies, avec pour objectif de couvrir 80 % de leurs ensembles de données statistiques d’ici 2027.

CN
Des étudiants de l’Université d’Égypte pour l’informatique développent deux applications d’intelligence artificielle pour la fabrication et les chaînes d’approvisionnement

Des étudiants de l’Université d’Égypte pour l’informatique développent deux applications d’intelligence artificielle pour la fabrication et les chaînes d’approvisionnement

Deux équipes d’étudiants de l’Université d’Égypte pour l’informatique ont développé deux applications destinées à traiter des problèmes liés à la fabrication intelligente et à l’approvisionnement en matières premières, en s’appuyant sur l’apprentissage automatique, les grands modèles de langage et les systèmes sémantiques. Les deux projets ont été évalués par des experts européens dans le cadre d’une coopération de recherche liée aux technologies de la cinquième révolution industrielle.

CN
De la spécification aux propriétés formelles : l’intelligence artificielle accélère la vérification de la conception des puces, mais ne remplace pas l’ingénieur

De la spécification aux propriétés formelles : l’intelligence artificielle accélère la vérification de la conception des puces, mais ne remplace pas l’ingénieur

Les grands modèles de langage se rapprochent de la conversion des spécifications de conception des puces en propriétés formelles dans le langage SystemVerilog Assertions, ce qui pourrait réduire le temps nécessaire à la préparation des premières versions de vérification. Toutefois, le manque de spécifications, le risque de produire des propriétés syntaxiquement correctes mais logiquement faibles et la lourde charge de révision font de la supervision humaine une condition essentielle, tandis que le rendement économique réel reste indéterminé.