Dnes je pro AI a matematiku významný milník. Ačkoliv Aristoteles a další nástroje v posledních měsících udělaly obrovský pokrok v řešení Erdosových problémů, vždy se objevily některé otravné výhrady. Dnes je první autonomně AI generovaný / formalizovaný Erdosův problém, využívající kombinaci Aristotela a GPT 5.2 Pro. První z mnoha.