Yes, in fact since version 7.0, ANY-maze has only been available as a 64-bit program.

Version 6.0 was the first 64-bit version, being available as both a 64-bit and 32-bit program, and all earlier versions were 32-bit only.