Don't have Telegram yet? Try it now!
https://jores.net/2019/05/16/jores-project-at-the-imo/
JoRes project at the IMO