Na página de download do MySQL, há apenas downloads para "Windows (x86, 32 bits)" https://dev.mysql.com/downloads/installer/
No entanto, o MySQL Workbench parece ser de 64 bits, diz "Windows (x86, 64 bits)": https://dev.mysql.com/downloads/workbench/
Eu gostaria de evitar o software de 32 bits se houver uma versão de 64 bits e não quero lidar com nenhum problema que possa ocorrer ao usar o MySQL de 32 bits com o MySQL Workbench de 64 bits, então eu queria saber se existe alguma maneira de obter uma versão de 64 bits do MySQL no Windows?
O download do MySQL Workbench não contém arquivos
MySQL Community Server 8.0.21
. Versões de 64 bits e 32 bits do MySQL Community Server 8.0.21 existem. A descrição do download ao qual você vinculou contém as informações necessárias. Você pode evitar problemas de compatibilidade com o MySQL Workbench usando apenas a versão de 64 bits do servidor.Fonte: MySQL Community Server 8.0.21