All I can read from this article is "the end of mathematics is on the horizon". Hopefully nothing he says actually materializes.