"For compatibility reasons, Microsoft designed IE10 to run in 32-bit mode by default - and unlike its predecessors - there isn't an obvious option or shortcut to launch the 64-bit version. It took us a while, but we finally found a way to run IE10 in 64-bit mode."



Link: NGOHQ