Mathematicians Discovered a Computer Problem that No One Can Ever Solve
Rafi Letzter Staff Writer
Mathematicians have discovered a problem they cannot solve. It's not that they're not smart enough; there simply is no answer.
The problem has to do with machine learning — the type of artificial-intelligence models some computers use to "learn" how to do a specific task.
When Facebook or Google recognizes a photo of you and suggests that you tag yourself, it's using machine learning. When a self-driving car navigates a busy intersection, that's machine learning in action. Neuroscientists use machine learning to "read" someone’s thoughts. The thing about machine learning is that it's based on math. And as a result, mathematicians can study it and understand it on a theoretical level. They can write proofs about how machine learning works that are absolute and apply them in every case. [Photos: Large Numbers That Define the Universe]
In this case, a team of mathematicians designed a machine-learning problem called "estimating the maximum" or "EMX."
To understand how EMX works, imagine this: You want to place ads on a website and maximize how many viewers will be targeted by these ads. You have ads pitching to sports fans, cat lovers, car fanatics and exercise buffs, etc. But you don't know in advance who is going to visit the site. How do you pick a selection of ads that will maximize how many viewers you target? EMX has to figure out the answer with just a small amount of data on who visits the site.
The researchers then asked a question: When can EMX solve a problem?
In other machine-learning problems, mathematicians can usually say if the learning problem can be solved in a given case based on the data set they have. Can the underlying method Google uses to recognize your face be applied to predicting stock market trends? I don't know, but someone might.
The trouble is, math is sort of broken. It's been broken since 1931, when the logician Kurt Gödel published his famous incompleteness theorems. They showed that in any mathematical system, there are certain questions that cannot be answered. They're not really difficult — they're unknowable. Mathematicians learned that their ability to understand the universe was fundamentally limited. Gödel and another mathematician named Paul Cohen found an example: the continuum hypothesis.
The continuum hypothesis goes like this: Mathematicians already know that there are infinities of different sizes. For instance, there are infinitely many integers (numbers like 1, 2, 3, 4, 5 and so on); and there are infinitely many real numbers (which include numbers like 1, 2, 3 and so on, but they also include numbers like 1.8 and 5,222.7 and pi). But even though there are infinitely many integers and infinitely many real numbers, there are clearly more real numbers than there are integers. Which raises the question, are there any infinities larger than the set of integers but smaller than the set of real numbers? The continuum hypothesis says, no, there aren't.
Gödel and Cohen showed that it's impossible to prove that the continuum hypothesis is right, but also it's impossible to prove that it's wrong. "Is the continuum hypothesis true?" is a question without an answer.
In a paper published Monday, Jan. 7, in the journal Nature Machine Intelligence, the researchers showed that EMX is inextricably linked to the continuum hypothesis.
It turns out that EMX can solve a problem only if the continuum hypothesis is true. But if it's not true, EMX can't.. That means that the question, "Can EMX learn to solve this problem?" has an answer as unknowable as the continuum hypothesis itself.
The good news is that the solution to the continuum hypothesis isn't very important to most of mathematics. And, similarly, this permanent mystery might not create a major obstacle to machine learning.
"Because EMX is a new model in machine learning, we do not yet know its usefulness for developing real-world algorithms," Lev Reyzin, a professor of mathematics at the University of Illinois in Chicago, who did not work on the paper, wrote in an accompanying Nature News & Views article. "So these results might not turn out to have practical importance," Reyzin wrote.
Running up against an unsolvable problem, Reyzin wrote, is a sort of feather in the cap of machine-learning researchers.
It's evidence that machine learning has "matured as a mathematical discipline," Reyzin wrote.
Machine learning "now joins the many subfields of mathematics that deal with the burden of unprovability and the unease that comes with it," Reyzin wrote. Perhaps results such as this one will bring to the field of machine learning a healthy dose of humility, even as machine-learning algorithms continue to revolutionize the world around us. "
Editor's note: This story was updatedon Jan. 14 at 2:15 p.m. EST to correct the definition of the continuum hypothesis. The article originally said that if the continuum hypothesis is true, then there are infinities larger than the set of integers but smaller than the set of real numbers. In fact, if the continuum hypothesis is true, then there are not infinities larger than the set of integers but smaller than the set of real numbers.
Apple's launch event on October 18 may see the arrival of two new MacBook Pro machines. These are expected to be the 14-inch and 16-inch models. As per some fresh leaks, the new MacBook Pro laptops will come with a notched display, a blacked-out deck, an illuminated Touch ID scanner, and a host of ports, including an HDMI slot and SD card reader.
Former Indian captain and legend Rahul Dravid is set to be appointed as the head coach, replacing Ravi Shastri, whose tenure ends post the ICC T20 World Cup next month.Dravid, who has been in charge of the India A and U-19 set-up for the past six years, is currently heading the National Cricket Academy in Bengaluru.Here are further details.
Star player Cristiano Ronaldo failed to fire as Manchester United remained winless in the Premier League for the second consecutive game. They are now fifth with 14 points while Leicester City are 11th with the same number of points to their name.
US Defense Secretary Lloyd Austin headed to the Black Sea region Sunday aiming to shore up alliances with countries pressured by Russia and show gratitude for their contributions to the two-decade war in Afghanistan.
Opportunities are galore in India for all investors and industry stakeholders with the current reset in the global supply chain and clear headed and committed leadership in the country, Finance Minister Nirmala Sitharaman has said. Sitharaman arrived here late Friday after her visit to Washington DC where she participated in the annual meetings of the World Bank and the International Monetary Fund.
Aryan Khan, the son of Bollywood megastar Shah Rukh Khan, said he will work for society in the future during the counseling session conducted by the Narcotics Control Bureau (NCB), an officer said Saturday. Presently lodged in Arthur Road Jail, Aryan and seven other co-accused in a drug case were given counseling at NCB's office as part of usual practice. Here's more.