well, a formal answer seems to be unavailable yet.it is interesting that he offers a short proof, using the Tod function.some ones still maybe doubts about that.
It seems that a special team of math experts are studying the proof.however, it took too long time(relatively).we are still waiting for news about that.hoping for good news.