如何评价T.S. Arthanari宣称证明P=NP问题且通过lean 4验证？
https://www.zhihu.com/question/2045506276537393433/answer/2045728224374698887
https://github.com/TiruArt/Pedigree-Polytopes-Lean4/issues/1
省流：AI 直接把 P=NP 定义为 True 来证明 P=NP 了
果然 Reward Hacking 大于一切吗
Post #2683
4.17K
- 🤣 64
- 😁 5