Idag markerar en betydelsefull milstolpe för AI och matematik. Även om Aristoteles och andra verktyg har gjort enorma framsteg i att lösa Erdos-problem de senaste månaderna, har det alltid funnits några irriterande förbehåll. Idag är det första autonomt AI-genererade/formaliserade Erdos-problemet, med en kombination av Aristotle och GPT 5.2 Pro. Den första av många.