AI autonomously solving one open math problem generated reusable proof techniques that humans applied to other open conjectures.

An AI-generated direct proof that a non-sofic group exists is approximately 15 pages long and requires none of the quantum-complexity machinery used in the prior 250-page disproof of the Aldous-Lions conjecture.

“It turns out that the direct proof that all that there's a non-sopic group was like much shorter and easier than this than this really amazing disproof of the all this lions conjecture. It's like 15 pages maybe and it doesn't have any of this like very complicated connection with quantum complexity.”

Current AI is not useful for long-standing pre-AI mathematical research projects that a mathematician has been thinking about for three to five years.

“Actually what I found is that the projects that I have that kind of predate AI like the projects I've been thinking about for three or four or five years it's just not that useful.”