Some more details on their official blog - 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
Some more details on their official blog - 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