Pruebas y metodología

Una explicación no revela los pensamientos ocultos del modelo.

Separamos problema, resultado anunciado, método publicado, evidencia de verificación e interpretación. Solo describimos razonamientos públicos. Una explicación reconstruida no es un registro de pensamientos internos.

La verificación formal comprueba un enunciado frente a definiciones, axiomas y un verificador. La revisión experta evalúa también su significado. Un benchmark no equivale a resolver una conjetura.

La búsqueda horaria consulta fuentes oficiales permitidas y arXiv. Reglas deterministas clasifican relevancia y guardan versiones. Las notas automáticas no certifican novedad ni corrección y no se indexan hasta recibir un desarrollo editorial sustantivo.

Las correcciones conservan fuentes, fechas e incertidumbre. Las versiones anteriores quedan en un registro privado. Los fallos de fuentes se muestran sin inventar noticias.

Google Search: AI features and your website · Research on reasoning faithfulness