A matematikai érvelés korlátai az AI modellekben