Mathematician Claims Proof of Riemann Hypothesis

TheSync points to this press release about a Purdue University mathematician, Louis de Branges de Bourcia, who claims to have "proven the Riemann hypothesis, considered to be the greatest unsolved problem in mathematics. It states that all non-trivial zeros of the zeta function lie on the line 1/2 + it as t ranges over the real numbers. You can read his proof here. The Clay Mathematics Institute offers a $1 million prize to the first prover."

Comments

verification

[kylemonger]

It is interesting that a mathematical proof such as this, which is an exercise in logic, can't yet be verified by typing it into a computer program to verify that all the steps make sense.