Tänään on merkittävä virstanpylväs tekoälylle ja matematiikalle. Vaikka Aristoteles ja muut työkalut ovat viime kuukausina edistyneet valtavasti Erdosin ongelmien ratkaisemisessa, on aina ollut joitakin ärsyttäviä varauksia. Tänään ensimmäinen itsenäisesti tekoälyn luoma / formalisoitu Erdos-ongelma, joka käyttää yhdistelmää Aristotelesta ja GPT 5.2 Prota. Ensimmäinen monista.