Humans outperform AI at this highly rigorous mathematics test (opens in new tab)

Davide Castelvecchi in Nature: Artificial intelligence has undergone its most scrupulous maths test yet. The results are in, and the AI models that took part didn’t live up to the problem-solving skills of top mathematicians. The test — part of a project called First Proof, which aims to evaluate the ability of AI to solve complex…