Kronik. Vi matematikere ser oprørte til, mens kunstig intelligens løser det ene matematiske problem efter det andet.