Comment by levocardia

I bet it's a lower rate of errors than the typical human math paper of 2025