RecodeX 重构消息,OpenAI的模型破解了80年来困扰人类的著名数学难题。