[NS : kindletui2023] GPT过度测试的问题有啥好的解决方法？

模型跑了4小时，一半的时间都在测试工具是否严谨，形式化的验证上，看的我血压上来了有啥比较好的解决方法？