OpenAIの「o1」モデルが「GitHub Copilot」と「GitHub Models」で利用可能に　どのプランで使える？

GitHub Modelsから利用できるOpenAIのo1モデルのサンプルプロンプト。「ピタゴラスの定理を幾何学的に証明するには？」という質問に、o1が答えている（提供：GitHub）