人工智能正以极快的速度被用于证明新的数学结果。数学家们认为，这仅仅是个开始。