Computers can find 1000 page proofs about simple things. Why not Shimura varieties?
Source: A computer-generated proof that nobody understands | Xena
Computers can find 1000 page proofs about simple things. Why not Shimura varieties?
Source: A computer-generated proof that nobody understands | Xena