8 points | by ibobev 4 hours ago ago
2 comments
7/8 result is already Lean-verified, yet experts are spending their time on the unverified 11/12 paper because it’s shorter and the only one a human edited
It might have proved it, but the higher level of understanding which was expected from the process is not there, so there is no benefit.
7/8 result is already Lean-verified, yet experts are spending their time on the unverified 11/12 paper because it’s shorter and the only one a human edited
It might have proved it, but the higher level of understanding which was expected from the process is not there, so there is no benefit.