What a timeline, OpenAI's model is so good, it publishes hundreds of math papers.

The latest model even finds mistakes in previously published math papers!!!*

* so far, only OpenAI's math papers were faulty and needed retraction.

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

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.'