💎 Johns Hopkins Üniversitesi'nde tanınmış matematik profesörü Emily Riehl: "Bence matematiğin geleceği böyle olabilir. Alan spesifik biçimsel dillerimiz olabilir: cebirsel geometri için, yoğun matematik için, diferansiyel geometri için de birçok farklı alt alan. Ve matematikçiler, bilgisayar ispat asistanının yardımı sayesinde yeni biçimsel sistemlerde ispat yazmayı hızlıca öğrenebileceklerdir, Onlara doğru ya da yanlış bir şey yaptıklarını bildirecek." Math, Inc.'in @jessemhan ve yakında @jdlichtman ile tam sohbet.