"There are regions of 'metamathematical space' (the slices of proof space) that might have higher 'densities of proofs' corresponding to more interconnected fields of mathematics - or more 'metamathematical energy'. And as part of the generic behavior of multicomputational systems we can expect an analog of Einstein’s equations, and we can expect that 'proof geodesics' will be 'gravitationally attracted' to regions of higher 'metamathematical energy'. (...) In the presence of large amounts of 'metamathematical energy' there’ll effectively be a metamathematical black hole formed. And where there’s a 'singularity in metamathematical space' there’ll be a whole collection of proof paths that just end—effectively corresponding to a decidable area of mathematics."

Is this for real? Is this a legit mathematical theory that leads to new mathematical discoveries? Are these conjectures that he expects to be rigorously provable? Or are these just ramblings of someone who left the game a long time ago and who thinks that he still 'has it'?