La automatización sin comprensión: un error estratégico
Automation Without Understanding
Mientras los sistemas de IA producen matemáticas de nivel investigador, EE. UU. debilita la formación de humanos capaces de entenderlos. Este ensayo argumenta que ambos desarrollos constituyen un error estratégico: la capacidad matemática es infraestructura construida por generaciones, no un subproducto. Basándose en la refutación por IA de una conjetura de Erdős y en los recortes al apoyo federal, propone tratar la capacidad matemática como un activo estratégico y exigir a los sistemas de IA que expongan sus afirmaciones en forma verificable.
La capacidad matemática no es un subproducto de la producción de teoremas, sino una forma de infraestructura, construida a lo largo de generaciones por instituciones que no pueden reconstituirse bajo demanda.