Here is a blog post where he claims the halting problem is not undecidable: https://vitalik.ca/general/2019/04/01/cantor.html "patent pending on this research"

He has a dangerous combination of self-delusion + intelligence