10% is ridiculously high compared with published papers in math journals where the number of critical mistakes is near zero.
they don't claim journals quality, which doesn't make published proofs useless artifacts.
alt Hacker News
they don't claim journals quality, which doesn't make published proofs useless artifacts.