The breakthrough is notable not only because it cracks a long-standing puzzle posed by one of the 20th century's greatest mathematicians, but also because of the software's pivotal role. This marks ...