Comment by nnm

This is impressive. The real game-changer will be when AI creates an entirely new, significant branch of mathematics.