Resumen: Estudiamos el papel especial de las matemáticas y la codificación dentro del espacio de módulos de baterías psicométricas para agentes de IA. Basándonos en el marco AAI y la dinámica GVU de trabajos anteriores, definimos la Fibra Matemática y mostramos que, cuando se combina con núcleos de prueba formales (por ejemplo, Lean, Coq), los flujos de GVU en esta fibra admiten regímenes de superación personal espectralmente estables debido a una verificación similar a un oráculo. Nuestro principal resultado técnico es un teorema de densidad: bajo una estanqueidad uniforme de las salidas de los agentes y una AAI funcional de Lipschitz, el subespacio de baterías generado por tareas de codificación y demostración de teoremas matemáticos es denso en el espacio de módulos de las baterías con respecto a la métrica de evaluación. La codificación por sí sola es universal en este sentido, mientras que las matemáticas puras no lo son; su privilegio es más espectral que expresivo. Interpretamos esto como evidencia de que las matemáticas y la codificación proporcionan “coordenadas universales” para la evaluación, y que las matemáticas formales son un dominio de ignición natural para la superación personal recursiva en agentes avanzados de IA.
Publicado originalmente en export.arxiv.org el 16 de diciembre de 2025.
Ver fuente original
