Un equipo de investigadores de la Vrije Universiteit Brussel documentó cómo ChatGPT-5.2 resolvió de manera autónoma la Conjetura 20 de Ran y Teng, un problema de teoría espectral de matrices que había permanecido sin demostración formal desde 2024. El resultado…
