Even if it's finding bugs in those, it would be progress. Imagine we can find bugs like that in many other problems, that's pretty valuable. Agreed it will take time to digest proofs and produce something new out of it.