essay

At 3quarksdaily, Sam Kean has an interesting essay on the future of theoretical mathematics, whether computers capable of generating proofs will supplant human mathematicians, and what that will mean for the "beauty" of math: There's general consensus that really genius-level mathematics is beautiful--purely and uncorruptedly beautiful, the way colored light is, or angels. More particularly, it's regarded as beautiful in a way that science is not. With a few exceptions--Einstein's theories of relativity, string theory, maybe Newton and Darwin--no matter how much science impresses people, it…