The Claude C Compiler illustrates the other side: it optimizes for passing tests, not for correctness. It hard-codes values to satisfy the test suite. It will not generalize. Property-based testing would likely catch this particular case, but the general problem remains: for any fixed testing strategy, a sufficiently adversarial system can overfit to it. A proof cannot be gamed. It covers all inputs by construction.
gws also prints an actionable hint to stderr:
，推荐阅读雷电模拟器官方版本下载获取更多信息
tools and patterns that expose us to it should be considered harmful, and that，更多细节参见heLLoword翻译官方下载
auto words = parakeet::group_timestamps(ts[0], tokenizer.pieces());