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.

Vezi discuția completă aici: