# Computer Scientists Reinvent the Proof

[How Computer Scientists Learned to Reinvent the Proof | Quanta Magazine](https://www.quantamagazine.org/how-computer-scientists-learned-to-reinvent-the-proof-20220523/)

这篇文章有一个缩略词引起了我的注意：NP，在算法中遇到过。


相关：[[coding|coding]]

相关：[[control-metacognition-process-of-programming|control-metacognition-process-of-programming]]

相关：[[dont-study-cs-from-stephen-wolfram|dont-study-cs-from-stephen-wolfram]]