# Tag Archives: Pierre Deligne

## A computer-generated proof that nobody understands

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

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