From Looking Glass Universe.

Here’s the blogpost announcement- it’s pretty light on details, so I’m very sorry if I misunderstood some of it. https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/

The problems this year: https://www.imo-official.org/year_info.aspx?year=2024

Here’s a video solution for question 6: https://www.youtube.com/watch?v=7h3gJfWnDoc