量子计算机首次在数学验证上击败超级计算机，科学家证明计算结果正确。