A gathering of mathematicians at Harvard grades a set of AI-solved problems, revealing key insights into the strengths and weaknesses of artificial intelligence in the realm of abstract reasoning. As ...