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…
Impacto bajo
Fiabilidad declaración interesada
The Decoder