解析: 【解析题】第一次用计算机证明数学定理发生在1972年,主要…