Jsme na prahu zásadní změny v oblasti matematiky. Důkaz atmosféry je tady. Aristoteles z roku @HarmonicMath právě dokázal Erdosův problém #124 v roce @leanprover, zcela sám. Tento problém je otevřen téměř 30 let, od doby, kdy byl spekulován v článku "Complete sequences of sets of integer powers" v časopise Acta Arithmetica. Boris Alexejev tento problém spouštěl pomocí beta verze Aristotela, která byla nedávno aktualizována o lepší schopnost uvažování a rozhraní pro přirozený jazyk. Matematická superinteligence se každou minutou přibližuje a jsem přesvědčen, že se změní a dramaticky urychlí pokrok v matematice a všech souvisejících oborech.