El concepto de que 'en Python todo es un objeto' es la base fundamental para entender cómo se gestiona la memoria en este lenguaje. Los enteros literales en Python no son solo valores, sino objetos completos con una identidad única en memoria, lo cual implica que cada número ocupa espacio y tiene una dirección específica. Para mitigar el consumo excesivo de recursos, CPython implementa una optimización conocida como 'array de pequeños enteros', que pre-aloca el rango de -5 a 256. Cuando asignas un número dentro de este rango a dos variables diferentes, ambas apuntan a la misma dirección de memoria, lo que explica por qué el operador 'is' devuelve 'True' en esos casos.

Sin embargo, este comportamiento varía según el contexto de ejecución. Cuando corres un script completo, el intérprete analiza todo el código y puede aplicar optimizaciones más agresivas, permitiendo que números fuera del rango estándar compartan la misma dirección si son asignados simultáneamente. Esto difiere radicalmente de la consola interactiva, que procesa instrucción por instrucción y no puede prever usos futuros. Confiar en la identidad de memoria mediante el operador 'is' para comparar enteros es un riesgo técnico, ya que el comportamiento puede cambiar según la implementación del intérprete, el sistema operativo o incluso la versión de Python instalada. Por lo tanto, el uso correcto de '==' como comparador de valores asegura una lógica robusta y predecible.