RecodeX 重构消息，OpenAI下一代AI攻克10项菲尔兹奖级数学难题。