It's not the simulator, it's the simulator-assisted researcher who refuted the theorem ;-) The paper is here: https://zenodo.org/records/20189708

I venture a wild guess that the somewhat implausible "Yaroslav Murai" is a pseudonym, up there with Satoshi Nakamoto.