The computer produced a completely novel proof of a well-known theorem.

• 计算机产生了一条关于一个熟知的定理的全新验证。