The Gettier problem is an indication that the definition has (at least) a bug. There are other formulations of "knowledge" which does not involve justification

The Gettier problem is an indication that the definition has (at least) a bug. There are other formulations of "knowledge" which does not involve justification, see eg. Gnosticism. Of course, for a publicly available frequently used service, the "JTB" formulation of knowledge is probably the only one we can practically use, but this kind of indicates that the whole idea of search engines, knowledge systems, or expert systems is flawed due to the Gettier problem.