LATIDIA · Investigación

Confiar, pero verificar, auditar y atribuir: un marco humano en el bucle para verificar los resultados de la investigación producidos por la IA

arXiv: 2611.13042v1Tipo de anuncio: nuevo Resumen: Los sistemas de inteligencia artificial (IA) ahora producen resultados de investigación en masa: en octubre de 2026, un solo laboratorio lanzó más de 700 manuscritos de matemáticas generados por IA,

La noticia

arXiv:2611.13042v1 Announce Type: new Abstract: Artificial intelligence (AI) systems now produce research results in bulk: in October 2026 a single laboratory released more than 700 AI-generated mathematics manuscripts, only part of them with machine-checked proofs. Such volumes will be checked mostly by AI agents that call specialised software. A passing check certifies only the artefact that was checked. For proofs translated into the proof assistant Lean, it has been shown that this artefact may state something other than the author's text, and that deciding whether a translation is faithful is undecidable in general. The human researcher therefore stays in the loop, and human and AI contributions must be recorded. We