The Gettier-Shaped Hole in AI