Términos

Knowledge Graph

Sigue la cobertura, explicaciones e historias tecnológicas relacionadas.

Última cobertura

CN
Lanzamiento de una plataforma unificada para explorar con inteligencia artificial los datos del sistema de las Naciones Unidas

Lanzamiento de una plataforma unificada para explorar con inteligencia artificial los datos del sistema de las Naciones Unidas

El sistema de las Naciones Unidas lanzó la plataforma UN System Data Commons, basada en Data Commons de Google, para integrar las estadísticas mundiales en un grafo de conocimiento utilizable con herramientas de inteligencia artificial. La plataforma permite realizar búsquedas en lenguaje natural y prevé añadir datos de más entidades de las Naciones Unidas con el objetivo de alcanzar el 80 % de sus conjuntos estadísticos para 2027.

CN
Estudiantes de la Universidad de Egipto para la Informática desarrollan dos aplicaciones de inteligencia artificial para la fabricación y las cadenas de suministro

Estudiantes de la Universidad de Egipto para la Informática desarrollan dos aplicaciones de inteligencia artificial para la fabricación y las cadenas de suministro

Dos equipos de estudiantes de la Universidad de Egipto para la Informática desarrollaron dos aplicaciones para abordar problemas de la fabricación inteligente y el suministro de materias primas, basándose en el aprendizaje automático, los modelos lingüísticos grandes y los sistemas semánticos. Los dos proyectos fueron evaluados por expertos europeos en el marco de una colaboración de investigación relacionada con las tecnologías de la quinta revolución industrial.

CN
De la especificación a las propiedades formales: la inteligencia artificial acelera la verificación del diseño de chips, pero no sustituye al ingeniero

De la especificación a las propiedades formales: la inteligencia artificial acelera la verificación del diseño de chips, pero no sustituye al ingeniero

Los modelos de lenguaje grandes se acercan a convertir las especificaciones de diseño de chips en propiedades formales en lenguaje SystemVerilog Assertions, lo que podría reducir el tiempo de preparación de borradores de verificación. Sin embargo, la falta de especificaciones, la posibilidad de generar propiedades sintácticamente correctas pero lógicamente débiles y la elevada carga de revisión hacen que la supervisión humana siga siendo esencial, mientras que el rendimiento económico real aún no está resuelto.