RecodeX 重构消息，OpenAI在解决80年历史的数学难题（Paul Erdős平面单位距离问题）上取得突破，展示AI推理能力提升。