Remix.run Logo
▲ JohnKemeny 7 hours ago

10% is ridiculously high compared with published papers in math journals where the number of critical mistakes is near zero.

▲andriy_koval 7 hours ago | parent [-]

they don't claim journals quality, which doesn't make published proofs useless artifacts.