Re: [math-fun] Grothendieck

http://en.wikipedia.org/wiki/Weil_conjectures is something that Grothendieck contributed to, which seems amazing and whose statement can actually be comprehended. Does it have any applications, or does it just seem amazing? Well, I actually am aware of a few applications of the Weil conjectures, but I think most or all of those applications were later also accomplished in far simpler ways without needing to go anywhere near said conjectures.