Comment on Mathematicians Have Found a Shape with a Pattern That Never RepeatsparentComments−GuB-423yA notorious "ugly" proof is that of the 4-color theorem.It has been proven using a computer. The problem was first reduced to a few hundred cases, then a brute force algorithm was used to solve each case.
Comments
A notorious "ugly" proof is that of the 4-color theorem.
It has been proven using a computer. The problem was first reduced to a few hundred cases, then a brute force algorithm was used to solve each case.