Mathematicians discovered a computer problem that no one can ever solve

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. Neuroscientists use machine learning to "read" someone's thoughts.