Are Gettier problems "solved"?

Technically "cross-post", already posted the below on r/Rationality, I'm just still looking for a response.

Someone, please either tear this apart, or point me to where someone has already covered this--I can't find it.

Situation: John is a lizard. I think he's a man. Do I "know" John is mortal?

Classic Gettier Interpretation:

• Belief-John is a man
• Belief-Men are mortal.
• Conclusion-John is mortal.

Bayesian Gettier Interpretation(Example numbers used for ease of intuition; minimal significant digits used for ease of calculation):

• Belief-John is probably (90%) a man
• Belief-Men are usually (90%) mortal
• Conclusion-John is probably (81%) a mortal man
• Belief-John might not be a man (10%)
• Belief-Non-men are sometimes mortal (50%)
• Conclusion-John might be a mortal non-man (5%)
• Belief-John is probably (81%) a mortal man
• Belief-John might be a mortal non-man (5%)
• Conclusion-John is probably mortal (86%).