These Mathematicians Are Trying to Educate A.I.

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