Astăzi marchează o etapă importantă pentru AI și matematică. Deși Aristotle și alte instrumente au făcut progrese enorme în rezolvarea problemelor Erdos în ultimele luni, au existat întotdeauna unele avertismente enervante. Astăzi, prima problemă Erdos generată / formalizată autonom de AI, folosind o combinație între Aristotle și GPT 5.2 Pro. Prima dintr-o mulțime.