Google Deepmind's AlphaProof Nexus solved dozens of open math problems, including nine Erdős problems two of which were ...