OpenAI 公开 722 篇数学论文，第 003 号为准黎曼假设