I bet it's a lower rate of errors than the typical human math paper of 2025
The typical human math paper does not have multiple unfixable errors, no.
alt Hacker News
The typical human math paper does not have multiple unfixable errors, no.