Comment by drivebyhooting

You misunderstood me.

LLMs democratize the process of mathematical disillusionment. There may come a day that Terence Tao himself will have this democracy delivered to him. When the human mathematical towers are crumbled and spirits left humbled.