Termos

Knowledge Graph

Acompanhe as últimas notícias, explicações e histórias tecnológicas relacionadas.

Cobertura mais recente

CN
Lançamento de uma plataforma unificada para explorar os dados do Sistema das Nações Unidas com inteligência artificial

Lançamento de uma plataforma unificada para explorar os dados do Sistema das Nações Unidas com inteligência artificial

O Sistema das Nações Unidas lançou a plataforma UN System Data Commons, baseada no Data Commons do Google, para integrar estatísticas globais em um grafo de conhecimento utilizável com ferramentas de inteligência artificial. A plataforma permite pesquisas em linguagem natural e planeja adicionar dados de mais entidades das Nações Unidas, com o objetivo de alcançar 80% de suas coleções estatísticas até 2027.

CN
Estudantes da Universidade Misr de Informática desenvolvem duas aplicações de inteligência artificial para a manufatura e as cadeias de suprimentos

Estudantes da Universidade Misr de Informática desenvolvem duas aplicações de inteligência artificial para a manufatura e as cadeias de suprimentos

Duas equipes de estudantes da Universidade Misr de Informática desenvolveram duas aplicações para tratar de problemas na manufatura inteligente e no fornecimento de matérias-primas, com base em aprendizado de máquina, grandes modelos de linguagem e sistemas semânticos. Os dois projetos foram avaliados por especialistas europeus no âmbito de uma colaboração de pesquisa relacionada às tecnologias da quinta revolução industrial.

CN
Da especificação às propriedades formais: a inteligência artificial acelera a verificação do projeto de chips, mas não elimina o engenheiro

Da especificação às propriedades formais: a inteligência artificial acelera a verificação do projeto de chips, mas não elimina o engenheiro

Os grandes modelos de linguagem estão próximos de converter especificações de projeto de chips em propriedades formais na linguagem SystemVerilog Assertions, o que pode reduzir o tempo de preparação de rascunhos de verificação. No entanto, a falta de especificações, a possibilidade de gerar propriedades sintaticamente corretas, mas logicamente fracas, e o elevado esforço de revisão tornam a supervisão humana essencial, enquanto o retorno econômico efetivo continua indefinido.