Suntem pe pragul unei schimbări profunde în domeniul matematicii. A venit demonstrația de atmosferă. Aristotel din @HarmonicMath tocmai a demonstrat problema Erdos #124 în @leanprover, de unul singur. Această problemă este deschisă de aproape 30 de ani, de când a fost conjecturată în articolul "Complete sequences of sets of integer powers" din revista Acta Arithmetica. Boris Alexeev a rezolvat această problemă folosind o versiune beta a lui Aristotel, recent actualizată pentru a avea o capacitate de raționament mai puternică și o interfață de limbaj natural. Superinteligența matematică se apropie cu fiecare minut și sunt încrezător că se va schimba și va accelera dramatic progresul în matematică și în toate domeniile dependente.