¿Existe un certificado recomputable del costo de un sistema de IA?
Sí, existe un certificado firmado con una cota estadística conservadora de costo y riesgo emitido por costwright. Este certificado se basa en una cota que no subestima el costo/riesgo real y parte de su trabajo está mecanizado y verificado formalmente en Lean.
Sobre costwright · Librería open-source para computar las cotas localmente.