As of market creation, it looks like people have bought somewhere around M$2,500,000 mana. (That's an extremely rough estimate, likely only accurate to within ~half an order of magnitude.)

This market resolves to whether the total at the end of 2023 (going all the way back to Manifold's creation in 2020) is at least 20 million mana. This does not include employees who receive a portion of their salary in mana, nor free mana given out to famous users for promotional reasons, nor any other non-standard ways of exhanging USD for mana. It counts only people who went to one of the normal mana-puchasing pages on the Manifold website and completed a transaction there.

If I'm unable to determine the answer at market close because that information has been taken private, this will resolve N/A. (But I'd hope that a Manifold employee would be willing to take a look at their books and at least give me a yes/no answer.)