7 ms·
If you ignore the part where there proofs are meandering drivel, sure.
by kranuck 2y ago
If you ignore the part where there proofs are meandering drivel, sure.
- cubefox 2y agoEven if you don't ignore this part they (e.g. o1-preview) are still better at proofs than the average human. Substantially better even.