Концепция специализированной облачной оболочки для систем верификации интуитивных математических доказательств