While computer programs had discovered proofs before, this discovery was one of the first times that a computer program had discovered a new or previously obscure idea.
Хотя компьютерные программы и обнаруживали доказательства ранее, это был первый случай, когда программа нашла новую или ранее незамеченную идею.