A bit more context on how we worked with IMO officials to release this result after an appropriate delay so that the student competitors received their well-deserved accolades, got our results officially graded by IMO judges, etc.

→ View original post on X — @jeffdean