Investigación · Noticias de IA

Publicado aquí

2026-10-20 14:34:05 UTC+8

Fecha de la fuente

2026-10-16 00:00:00 UTC+8

Microsoft Research presenta Magnetar para verificar la ejecución de programas

El informe del 15 de octubre describe una máquina virtual de conocimiento cero para RISC-V y mejoras medidas en pruebas concretas.