Tag: Kemampuan pembuktian matematika GPT-5