Answering my own question: Alex Gerko (who's behind the $10M prize here) says: > "It came about as me checking on the status of IMO Grand Challenge (which was

Answering my own question: Alex Gerko (who's behind the $10M prize here) says: > "It came about as me checking on the status of IMO Grand Challenge (which was launched in 2019 https://imo-grand-challenge.github.io https://imo-grand-challenge.github.io) and deciding that it's time to give this idea a boost" https://twitter.com/AlexanderGerko/status/1729207936625627336 https://twitter.com/AlexanderGerko/status/172920793662562733...