RecodeX 重构消息,OpenAI研究人员解释为何数学是通往AGI的关键测试。