RecodeX 重构消息,OpenAI演示内部模型Astra,在10个菲尔兹奖级数学难题上取得重大突破。