Disproving the 'matrix theory' is just the catchy headline to garner clicks. The results of the research are beyond just the matrix. For example, this proof means that non-algorithmic determinism isn't something that represents a lack of deeper theoretical understanding. There are theories that consciousness is non-algorithmic. In that case, this proof means that AGI is also impossible.