Wild progress since 2022, when we achieved our first results on any IMO problem:

→ View original post on X — @gdb