Computer cracks Erdős puzzle – but no human brain can check the answer
Tuesday 18 February 2014
A puzzle that has confounded mathematicians for almost a century is closer than ever to being solved, it has emerged. But there’s one slight problem.
The calculations which prove a part of what’s known as “Erdős discrepancy problem” have been worked out by a computer. And the sheer amount of data – more than the entire contents of Wikipedia – is so vast that it would be practically impossible to be checked by a human brain.
The “discrepancy problem” was posed in the 1930s by renowned Hungarian mathematician Paul Erdős. It revolves around the properties of infinite sequences of numbers containing nothing but +1s and -1s. Patterns in such sequences can be measured by creating finite sub-sequences.
Professor Enrico Scalas, of the University of Sussex, explained the premise: “You have a sequence of 1s and -1s (for instance, generated by tossing a coin) and a constant C. One is looking for a finite subsequence long enough so that the sum of the elements of the subsequence is larger than C.”
The difficulty lies in actually proving this is the case mathematically. That’s where computers and their ability to perform complex calculations come in. With this aid, computer scientists Dr Alexei Lisitsa and Dr Boris Konev of the University of Liverpool managed to demonstrate that an infinite sequence will always have a discrepancy (the sum of the numbers in a sub-sequence) larger than two.
They took a sequence 1,161 numbers long and the resulting data was a 13-gigabyte file. That’s bigger than the 10GB estimated size of the entire written contents of Wikipedia. It is the start of solving the puzzle – but while computers have helped, they have not yet taken over from humans.
In a statement, the researchers told The Independent: “On the one hand, it is true that our computer-generated solution is beyond the reach of humans to fully understand. On the other, all we can say for now is that at the moment there is no known ‘better’ human-comprehensible solution – but it does not mean that such a solution could not (or will not) be found in the future.”
Mathematicians were philosophical about being beaten by a machine. Matt Parker, Public Engagement in Maths Fellow at Queen Mary, University of London, said: “The computer did the heavy-lifting, but it was the insight and creativity of its human programmers which made it possible.”
Chris Budd, Professor of Mathematics at the Royal Institution of Great Britain, added: “Computers are doing for maths what the printing press did for writing, in that they are opening up unlimited possibilities.”
Life & Style blogs
Who is Teresa Fidalgo? Debunking the fake ghost story that's got Instagram spooked
Astrological signs are almost all wrong, as movement of moon and sun throws out zodiac
NHS property sale could raise £7.5bn to help pay off its growing deficit and free up space for housing
Gay marriage, one year on: Couples mark first anniversary of same-sex marriages
Robert Parker interview: The world's top wine critic on tasting 10,000 bottles a year, absurd drinking notes and New World wannabes
Ukip supporters are 55 or older, white and socially conservative, finds British Social Attitudes Report
JK Rowling responds to fan tweeting she 'can't see' Dumbledore being gay
Street preacher quoting from the Bible fined for calling homosexuality an 'abomination'
Jeremy Clarkson sacked live: Alan Yentob 'wouldn't rule out' ex Top Gear host's BBC return
Woman filmed launching racist tirade against men on the Tube for speaking in 'own lingo'
The West has it totally wrong on Lee Kuan Yew
- 1 East 17 bandmember Brian Harvey in 'very desperate situation’
- 2 Germanwings plane crash: Video shows co-pilot Andreas Lubitz learning to fly as a teenager
- 3 Vladimir Putin says Russia will fight for the right of Palestinians to their own state
- 4 Germanwings crash: Captain of doomed plane was only 'on board because he changed job to spend more time with his children'
- 5 WrestleMania 31 results: Seth Rollins stuns WWE as he cashes in Money in the Bank contract to claim title from Brock Lesnar
iJobs Gadgets & Tech
£25000 - £30000 per annum: Recruitment Genius: A Client IT Account Manager is ...
£30000 - £35000 per annum: Recruitment Genius: The Compute Engineer role also ...
£13676.46 - £15864.28 per annum + Uncapped Commission: SThree: As a Trainee Re...
£24000 - £32000 per annum: Recruitment Genius: An exciting opportunity has ari...