OpenAIの100万ドルの数学的証明の舞台裏 ノート