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.
I'm also unaware of the quality of the consultation with the relevant mathematicians, colour me skeptical there.