A brainy riddle that's stumped mathematicians since World War II appears to have been cracked via artificial intelligence.
OpenAI makes big splash with AI finding math problem breakthrough. Real lesson is to use AI to find counterexamples. An AI ...