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

Microsoft Math Solver is a free tool that uses AI to recognize both printed and handwritten math. It’s particularly strong with geometric proofs and interactive graphing, and it pulls learning ...