Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed The Decoder