Siisti virstanpylväs tekoälymatematiikassa Aristoteles (tekoälymatemaatikko) ratkaisi juuri Erdosin ongelman #124, joka oli ollut avoinna lähes 30 vuotta Boris Aleksejev (tutkimusmatemaatikko) ajoi sen Aristoteleen uudella betaversiolla, jossa oli vahvempi päättely + luonnollisen kielen rajapinta, ja se tuotti täyden muodollisen todistuksen. aika hullunkurinen hetki tekoälyn teoreeman todistamiselle.