Hoje marca um marco importante para a IA e a matemática. Enquanto Aristóteles e outras ferramentas fizeram progressos enormes na resolução de 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 Aristóteles e GPT 5.2 Pro. O primeiro de muitos.