Many students struggle with mathematics at some stage in their educational journey, and similarly it is the same with their parents—they were students too right? And not everyone was good at math.

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

Tao: Today there are a lot of very tedious types of mathematics that we don’t like doing, so we look for clever ways to get ...