Computers can find 1000 page proofs about simple things. Why not Shimura varieties?

Source: A computer-generated proof that nobody understands | Xena

Was this post helpful?