Matematik alanında derin bir değişimin eşiğindeyiz. Atmosfer kanıtı burada. @HarmonicMath'den Aristoteles, @leanprover'de Erdos Problemi #124'ü tek başına kanıtladı. Bu problem, Acta Arithmetica dergisinde yayımlanan "Tam sayı kuvvetleri kümelerinin tam dizileri" makalesinde varsayımlandırıldığı için neredeyse 30 yıldır açıktır. Boris Alekseyev, bu sorunu Aristoteles'in beta versiyonu ile çalıştırdı; bu versiyon daha güçlü akıl yürütme yeteneği ve doğal dil arayüzü ile yakın zamanda güncellendi. Matematiksel süper zeka her geçen dakika yaklaşıyor ve bunun matematikte ve tüm bağımlı alanlarda ilerlemeyi dramatik şekilde hızlandıracağına eminim.