OpenAI 百万美元数学证明背后的内幕故事 笔记