Despite these potential limitations, Lackenby sees AI’s promise in mathematical hypothesis generation. “So many different areas of mathematics are connected to each other, but spotting new connections is really of interest and this process is a good way of seeing new connections that you couldn’t see before,” he said.

Lackenby’s work demonstrates that AI can be helpful in suggesting conjectures that mathematicians can then go on to prove. And despite Saunders’ reservations, Tao thinks AI could be useful in proving existing conjectures.

The most immediate payoff might not be in tackling the hardest problems but in picking off the lowest-hanging fruit, Tao said.