7 ms·
math looks pretty legit. the only issue would come from the formulation of the category Comp and if it actually represents what it wants to. Hopefully some bigs
by il_abi 11mo ago
math looks pretty legit. the only issue would come from the formulation of the category Comp and if it actually represents what it wants to. Hopefully some bigshot looks at this soon
- yyyk 11mo agoThe reddit people are very skeptical regarding the paper: https://www.reddit.com/r/computerscience/comments/1odgx6v/lean_proof_of_p_np_can_lean_proofs_be_wrong/ https://www.reddit.com/r/computerscience/comments/1odgx6v/le... https://www.reddit.com/r/learnmath/comments/1odh3f5/is_this_lean_proof_of_p_np_correct_can_lean/ https://www.reddit.com/r/learnmath/comments/1odh3f5/is_this_...