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