同社の発表は、人工知能が高等数学の分野を根本的に変革していることを示す、これまでのところ最も劇的な兆候である。