What do you get when you add a couple of math professors, a Roman Catholic nun, and a computer? Not the start of a bad joke, but a major breakthrough in mathematics -- and a pretty one, too.