Essay | Ben Cohen | A Famous Math Problem Stumped Humans for 80 Years. AI Just Cracked It.