A rigorous unseen-problem test keeps human mathematical expertise in the lead

Nature reports that leading AI systems still trail top mathematicians when the problems are difficult, novel, and designed to resist memorised patterns.