“These results, and the other eight on the list, are extraordinarily impressive, but it still doesn't seem to be the case that LLMs are better than all humans at all aspects of mathematics.”

Gowers's Weblog · Aug 11 · Tim Gowers analyzes what mathematics LLMs excel at after OpenAI's breakthroughs

“A good sign that LLMs have reached human level for a much wider class of problems will be if they start proving theorems using methods that, like much of the very best human mathematics, are new and surprising but that with hindsight come to seem beautiful and natural.”

Gowers's Weblog · Tim Gowers analyzes what mathematics LLMs excel at after OpenAI's breakthroughs