OpenAI 发布 math 项目，数学验证引热议

OpenAI 发布 Openai/math，作者认为这似乎表明数学问题或一切可被 verify 的问题已被解决。作者同时吐槽 OpenAI 耗尽了其 Pro 的所有 token，偏离主线任务，开启无数 subagent 做无意义测试，最终感叹一切都是"为了 verify 而 verify"。