研究者使用 GPT-5.6 Sol Ultra 在 Codex 中提出六个 Erdős 问题解决方案,公开研究轨迹,显示 AI 加速数学研究 · AIWatch