Do we have any tag for questions asking for counter-example / seeking computational verification (at least as a part of the post)? For example math.stackexchange.com/questions/3162465, math.stackexchange.com/questions/3347182, math.stackexchange.com/questions/2847277, math.stackexchange.com/questions/3015511. There seem to be some questions by some users which are almost always about this...

Also, I am considering if [big-numbers] should not be used for some of these? (obviously I am looking for way to filter similar questions, so if I would filter for [examples-counterexamples] and [big-numbers], I should see questions that are looking for large counter examples ideally).