OpenAIの画期的な発見が数学における「実存的危機」を引き... ノート