These Mathematicians Are Putting A.I. to the Test

Large language models struggle to solve research-level math questions. It takes a human to assess just how poorly they perform.