Hoy marca un hito trascendental para la IA y las matemáticas. Mientras que Aristóteles y otras herramientas han logrado un progreso tremendo en la resolución de problemas de Erdos en los últimos meses, siempre ha habido algunas advertencias molestas. Hoy, el primer problema de Erdos generado / formalizado de manera autónoma por IA, utilizando una combinación de Aristóteles y GPT 5.2 Pro. El primero de muchos.