Comment by algorithms432

"According to a friend, the IMO asked AI companies not to steal the spotlight from kids and to wait a week after the closing ceremony to announce results." I don't see much reason for the poster to lie here. It also aligns with with what the people on the leanprover forum are saying, and, most importantly, with DeepMind not announcing their results yet. Edit: multiple other AI research labs have also claimed that IMO asked them to not announce their results for some time (i.e. https://x.com/HarmonicMath/status/1947023450578763991 )