LLMs find flaws in human-published math papers _all the time_, usually in the process of formalizing them in lean.

Humans are not being sold as the panacea to all the world problems currently.

I look forward to OpenAI reviewing all papers in the field.

It'll be a good test to separate those earnestly trying to advance human knowledge, from those wasting my tax dollars. The later group ought to be publicly shamed and ridiculed without mercy. We need a more invective word than 'pseudo-intellectual.'

> We need a more invective word than 'pseudo-intellectual.'

Here's one: 'AI-Bro'