Kita berada di puncak perubahan besar di bidang matematika. Getaran membuktikan ada di sini. Aristoteles dari @HarmonicMath baru saja membuktikan Masalah Erdos #124 di @leanprover, dengan sendirinya. Masalah ini telah terbuka selama hampir 30 tahun sejak diduga dalam makalah "Urutan lengkap himpunan pangkat bilangan bulat" dalam jurnal Acta Arithmetica. Boris Alexeev menjalankan masalah ini menggunakan versi beta Aristoteles, yang baru-baru ini diperbarui untuk memiliki kemampuan penalaran yang lebih kuat dan antarmuka bahasa alami. Kecerdasan super matematika semakin dekat dari menit ke menit, dan saya yakin itu akan berubah dan secara dramatis mempercepat kemajuan dalam matematika dan semua bidang dependen.