Comment by hcarlens

Also relevant: https://aimoprize.com/

($10m prize for models that can perform well at IMO)