[kranuck]

If you ignore the part where there proofs are meandering drivel, sure.

[cubefox]

Even if you don't ignore this part they (e.g. o1-preview) are still better at proofs than the average human. Substantially better even.