Why do Bitcoin miners exchange mined BTC for #AISI? They are stupid. Is $AISI more popular in their eyes? This is a problem.