The rapid release of mathematical results by artificial intelligence labs has provoked debate over whether artificial intelligence systems employ creative thinking or simply complete the final steps of proofs by borrowing human ideas