@tao@mathstodon.xyz We want proofs to be completed and published, so we should assign credit to the first to publish a complete proof. We also want comprehensible exposition (e.g., shorter proofs), so we should also assign credit for that. The weights naturally adjust depending on difficulty.