Google DeepMind's AI systems can now solve complex math problems

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