Jesteśmy na progu głębokiej zmiany w dziedzinie matematyki. Vibe proving jest tutaj. Aristotle z @HarmonicMath właśnie udowodnił Problem Erdos #124 w @leanprover, całkowicie samodzielnie. Problem ten był otwarty przez prawie 30 lat od momentu sformułowania w artykule „Complete sequences of sets of integer powers” w czasopiśmie Acta Arithmetica. Boris Alexeev rozwiązał ten problem, używając wersji beta Aristotelesa, która niedawno została zaktualizowana, aby mieć silniejsze zdolności rozumowania i interfejs w języku naturalnym. Matematyczna superinteligencja zbliża się z każdą minutą, a ja jestem pewien, że zmieni i dramatycznie przyspieszy postęp w matematyce i wszystkich dziedzinach od niej zależnych.