An AI answers 377 open mathematical questions at once – and the media declare the end of mathematics. Leading mathematicians, however, see the beginning of a 'Mathematics 2.0'. What can be learned...