Dziś jest ważny kamień milowy dla AI i matematyki. Podczas gdy Arystoteles i inne narzędzia poczyniły ogromne postępy w rozwiązywaniu problemów Erdosa w ostatnich miesiącach, zawsze istniały pewne irytujące zastrzeżenia. Dziś powstał pierwszy autonomicznie wygenerowany / sformalizowany problem Erdosa przez AI, przy użyciu kombinacji Arystotelesa i GPT 5.2 Pro. To pierwszy z wielu.