Hoje marca um marco marcante para a IA e a matemática. Embora Aristóteles e outras ferramentas tenham feito um progresso tremendo na resolução dos problemas de Erdos nos últimos meses, sempre houve algumas ressalvas irritantes. Hoje, o primeiro problema de Erdos gerado/formalizado autonomamente por IA, usando uma combinação de Aristotle e GPT 5.2 Pro. A primeira de muitas.