A proposed ‘natural boundary’ for machines in mathematics

A user quotes and agrees with Kevin Buzzard’s prediction that machines will reach a new ‘natural boundary’ in mathematics, perhaps far beyond where we are now. Buzzard believes they will eventually get stuck at a point where spending more resources on the next big leap is no longer viable. He proposes letting machines run, seeing what happens, then beginning the journey toward where they stopped.