Feeds

HP boffin claims million-dollar maths prize

Number nerds demand "real" proof

Beginner's guide to SSL certificates

Update An HP mathematician claims to have solved one of computer science's thorniest problems and thus bagged a $1m prize for his million-watt brainpower. Fellow number-boffins, however, are saying otherwise.

The million-dollar challenge, one of seven thrown down by the Clay Mathematics Institute (CMI) in its Millennium Prize series, is known as the P vs NP Problem.

It essentially involves figuring out whether or not there are computing problems that have solutions that can be quickly checked after they have been reached, but that are far too complex and multifaceted to be solved without a computer needing, oh, just about forever to arrive at said solution.

Or, as CMI mathematician Steven Cook explains: "The P versus NP problem is to determine whether every language accepted by some nondeterministic algorithm in polynomial time is also accepted by some (deterministic) algorithm in polynomial time."

Got it? Good.

HP's Vinay Deolalikar not only understands Cook's summation, but believes he's found the answer — which, by the way, can be succinctly summed up as "No" — and by doing so has earned the CMI's million-dollar prize.

If you're of a mathematical bent, you'll find Deolalikar's 116-page explanation of his proof, "P ≠ NP" (PDF), a jolly read.

According to the BBC, however, not all number-nerds are impressed by Deolalikar's reasoning. Scott Aaronson, an MIT comp-sci guy, says that before he and others buy into Deolalikar's resolution of the P versus NP problem, the HP boffin's proof must first pass "a sanity test."

Aaronson's definition of such a test is brief and to the point: "[Deolalikar's proof] had better not also prove something that we know to be false." Citing other mathematicians' concerns, Aaronson said the ball is in the HP math man's court: "Everyone agrees, if he can't answer this, the proof is toast."

The Reg is rooting for Deolalikar. After all, there are still five more million-dollar challenges out there that Aaronson and his peeps can take on: the Birch and Swinnerton-Dyer Conjecture that puzzled Stieg Larsson's heroine Lisbeth Salander, the Hodge Conjecture, Navier-Stokes Equations, Riemann Hypothesis, and the Yang-Mills and Mass Gap problem.

The seventh Millennium Prize challenge, the resolution of the Poincaré conjecture, has already been met, earning Russian mathematician Grigori Perelman a cool 30.4m rubles ($1m).*

Missed your chance. ®

Bootnote

For the mathematically lightweight or middleweight, mathematician Ian Stewart provides an explanation of the P vs NP Problem using the familiar computer game Minesweeper. Trust us, Stewart's gloss is far more comprehensible to the layman than Deolalikar's P ≠ NP.

* Update

Reg reader "Stan" has brought to our attention that although Grigori Perelman did, indeed, solve the Poincaré conjecture, he refused not only the $1m prize from the CIM, but also the prestigious Fields Medal, which Stan referred to as "the Nobel prize equivalent in the world of mathematics."

Intelligent flash storage arrays

More from The Register

next story
Bond villains lament as Wicked Lasers withdraw death ray
Want to arm that shark? Better get in there quick
Renewable energy 'simply WON'T WORK': Top Google engineers
Windmills, solar, tidal - all a 'false hope', say Stanford PhDs
SEX BEAST SEALS may be egging each other on to ATTACK PENGUINS
Boffin: 'I think the behaviour is increasing in frequency'
Reuse the Force, Luke: SpaceX's Elon Musk reveals X-WING designs
And a floating carrier for recyclable rockets
The next big thing in medical science: POO TRANSPLANTS
Your brother's gonna die, kid, unless we can give him your, well ...
NASA launches new climate model at SC14
75 days of supercomputing later ...
Britain's HUMAN DNA-strewing Moon mission rakes in £200k
3 days, and Kickstarter moves lander 37% nearer takeoff
Simon's says quantum computing will work
Boffins blast algorithm with half a dozen qubits
prev story

Whitepapers

Choosing cloud Backup services
Demystify how you can address your data protection needs in your small- to medium-sized business and select the best online backup service to meet your needs.
A strategic approach to identity relationship management
ForgeRock commissioned Forrester to evaluate companies’ IAM practices and requirements when it comes to customer-facing scenarios versus employee-facing ones.
How to determine if cloud backup is right for your servers
Two key factors, technical feasibility and TCO economics, that backup and IT operations managers should consider when assessing cloud backup.
Reg Reader Research: SaaS based Email and Office Productivity Tools
Read this Reg reader report which provides advice and guidance for SMBs towards the use of SaaS based email and Office productivity tools.
The Heartbleed Bug: how to protect your business with Symantec
What happens when the next Heartbleed (or worse) comes along, and what can you do to weather another chapter in an all-too-familiar string of debilitating attacks?