[daxfohl]

Noam Elkies too, the youngest ever tenured prof at Harvard. Another parallel he had a pretty famous contradiction proof, of Euler's conjecture. But he didn't find that until age 22, so seems like this girl has a good head start!