kul milepæl innen AI-matematikk Aristoteles (en AI-matematiker) har nettopp løst Erdos' problem #124, som hadde vært åpent i nesten 30 år Boris Alexeev (forskningsmatematiker) kjørte det på en ny beta av Aristoteles med sterkere resonnement + naturlig språkgrensesnitt, og det produserte et fullstendig formelt bevis. ganske sprøtt øyeblikk for AI-teorembevis.