AI stumbles on toughest maths test as top models fail to match leading human mathematicians in landmark First Proof research-level challenge.

Thirty mathematicians at Harvard blind-graded AI solutions to 10 original research-level math problems. AI passed seven but struggled with the hardest

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…