DeepMind cracks 'knot' conjecture that bedeviled mathematicians for decades