タグ: GPT-5の数学証明能力