Original: It was the first major theorem to be proven using a computer.
Simplified: This was the first theorem to be proved by a computer.