Oggi segna una pietra miliare per l'AI e la matematica. Mentre Aristotele e altri strumenti hanno fatto progressi straordinari nella risoluzione dei problemi di Erdos negli ultimi mesi, ci sono sempre stati alcuni fastidiosi caveat. Oggi, il primo problema di Erdos generato/formalizzato autonomamente dall'AI, utilizzando una combinazione di Aristotele e GPT 5.2 Pro. Il primo di molti.