Hoy marca un hito trascendental para la IA y las matemáticas. Aunque Aristóteles y otras herramientas han avanzado enormemente en la resolución de problemas de Erdos en los últimos meses, siempre ha habido algunas advertencias molestas. Hoy en día, el primer problema de Erdos generado / formalizado de forma autónoma por IA, usando una combinación de Aristotle y GPT 5.2 Pro. La primera de muchas.