OpenAI 发布了 Openai/math，似乎表明数学问题或者一切可以被 verify 的问题，被他们解决掉了。
我非常疑惑，因为强大的 OpenAI 耗尽了我 pro 的所有 token，完全偏离了主线任务，开启了无数个subagent 做完全没有任何意义的测试任务。
我忽然明白了：
一切都是，为了 verify 而 verify！