dimostrazioni al computer

Dimostrazioni umane?

Qual è la vera differenza tra le dimostrazioni matematiche fatte dagli umani e dai computer? È una questione complicata.