个人研究者自发布 Erdős 993 部分证明 与 Codex 协作一个月 赶在 OpenAI 百题发布前-ChooseAI工具导航