I have tried several methods to kill ants.
1) buy some ant killer as bait.
this method is ok. but slow. And if you have a dog or a cat in your yards,
pesticide may be dangerous to them.
2) hammer it
this method is fast. sometimes the ants can bite you if you hammer them.
and the soil gets too tight. there will be a dent on the ground.
3) heat gun
this method is fast. But it is difficult to kill ants in the deep hole.
3) manifying glass
this method is fun. It works only on a sunny day.
4) hot water
this method is great. fast and effective. the grass can grow up again soon.
Don't worry.