Yapay zeka matematiğinde harika bir dönüm noktası Aristoteles (bir yapay zeka matematikçisi), neredeyse 30 yıldır açık olan Erdos'un #124 problemini çözdü Boris Alekseev (araştırma matematizcisi), daha güçlü akıl yürütme + doğal dil arayüzüne sahip yeni bir Aristoteles beta sürümünde çalıştırdı ve tam bir resmi kanıt ortaya çıktı. Yapay zeka teoremini kanıtlamak için oldukça çılgın bir an.