|
|
|
|
|
|
by nine_k
120 days ago
|
|
|
Sounds somehow similar to the groundbreaking application of a computer to prove the 4 color theorem. Then the researchers wrote a program to find and formally prove the numerous particular cases. Here the computer finds a simplifying pattern. |
|
|