ParentFull threadlevocardia·I bet it's a lower rate of errors than the typical human math paper of 2025View on HN