cool milstolpe inom AI-matematik Aristoteles (en AI-matematiker) löste precis Erdos problem #124, som hade varit öppet i nästan 30 år Boris Alexeev (forskningsmatematiker) körde den på en ny beta av Aristoteles med starkare resonemang + naturligt språkgränssnitt, och den gav ett fullständigt formellt bevis. ganska galet ögonblick för AI-teorembevis.