The race is on to develop an artificial intelligence that can do pure mathematics, and top mathematicians just threw down the gauntlet with an exam of actual, unsolved problems that are relevant to ...

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

Tao was asked about the impact of AI on the field of math, because he’d recently posted some scathing comments about OpenAI’s latest and supposedly greatest GPT o1 model. Touted as the first model ...

Mathematicians explore ideas by proposing conjectures and proving them with theorems. For centuries, they built these proofs line by careful line, and most math researchers still work like that today.