Atmosfer kanıtlama dönemi geldi. @HarmonicMath'den Aristoteles, @leanprover Terence Tao'nun Erdos problemi ispatını formalize etmek için kullanılmıştır. Yapay zekanın yeni matematiksel keşiflere önemli katkı sağladığını görmeye başlıyoruz. Resmi doğrulama ile birleştiğinde, kanıtın geçerliliğini gözden geçirmek ve kontrol etmek için insanların artık ihtiyacı kalmayacak; bu da flywheel'in daha hızlı dönmesini sağlayacak ve sınırdaki ilerlemeyi büyük ölçüde hızlandıracak.