El CCSD lanza su primer seminario académico sobre los fundamentos matemáticos de los sistemas de prueba verificables, en conjunto con FIUBA, Exactas UBA y LambdaClass.
Investigadores del CCSD y LambdaClass presentan CommitLLM, un protocolo de commit-and-audit para verificar que un proveedor realmente corrió el modelo de lenguaje que declara haber corrido.