Some more details on their official blog - https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/ https://deepmind.google/discover/

Some more details on their official blog - https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/ https://deepmind.google/discover/blog/ai-solves-imo-problems... EDIT: I just saw it's already been posted: https://news.ycombinator.com/item?id=41069829 https://news.ycombinator.com/item?id=41069829