当然，并不是说所有的导演、美术指导、剪辑师等创意岗都能在AI时代保住自己的工作。AI不是做不了这些工作，是无法高水准地完成这些工作。如果你的能力一般，无法与AI拉开距离，失业依然是早晚的事。
于是我决定做一个更完整的横向测评，核心目的只有一个：帮打工人找到一款真正「能用」的日常 PPT 神器。
。关于这个话题，电影提供了深入分析
FT Edit: Access on iOS and web
Testing and proof are complementary. Testing, including property-based testing and fuzzing, is powerful: it catches bugs quickly, cheaply, and often in surprising ways. But testing provides confidence. Proof provides a guarantee. The difference matters, and it is hard to quantify how high the confidence from testing actually is. Software can be accompanied by proofs of its correctness, proofs that a machine checks mechanically, with no room for error. When AI makes proof cheap, it becomes the stronger path: one proof covers every possible input, every edge case, every interleaving. A verified cryptographic library is not better engineering. It is a mathematical guarantee.