OpenAI releases Openai/math, suggesting verifiable problems are being solved
Original title (Chinese)
OpenAI 发布了 Openai/math，似乎表明数学问题或者一切可以被 verify 的问题，被他们解决掉了。
AISummary
OpenAI has published a repository called Openai/math, which the author reads as a sign that math problems, or any verifiable problems, are being solved. The author says OpenAI's tools exhausted their Pro token allowance on subagent tests unrelated to their main task, concluding that the work was aimed at verification for its own sake.
Source: Dongxi NLP · x.com