Tecnología
pruebas formales
Sobre esta tecnología, IA para hoy ha analizado 1 noticia, procedentes de 1 medio distinto. No ha habido cobertura nueva en la última semana. La fiabilidad media de esa cobertura es de 2,0 sobre 5, medida con las reglas de nuestro método. Las áreas de impacto que más se repiten son Ciberseguridad, IT. Aparece en 1 historia en seguimiento.
Evolución en 16 semanas
El momentum semanal se estima con la misma fórmula que el momentum actual: volumen, aceleración respecto a la semana anterior, diversidad de fuentes e impacto.
Relacionadas
Historias
Noticias
Matemático medalla Fields funda instituto para probar matemáticamente la seguridad de la IA
El matemático canadiense Jacob Tsimerman, ganador reciente de la Medalla Fields, anunció la fundación del Mathematical AI Safety Institute (MAISI), un…
Por qué importaPropone usar pruebas matemáticas formales, como las pruebas de conocimiento cero usadas en criptografía, para demostrar que sistemas de IA se…