They don't necessarily deserve credit, it is just the bare minimum courteous behaviour in academia to reach out to other researchers in the same area before publishing a result.

I'm also unaware of the quality of the consultation with the relevant mathematicians, colour me skeptical there.