A Google DeepMind AlphaProof Nexus nevű mesterséges intelligenciája egy új, a Science folyóiratban megjelent tanulmány szerint önállóan megoldott tucatnyi nyitott matematikai problémát, köztük 353-ból kilenc Erdős-problémát – amelyek közül kettő 56 éve megoldatlan volt –,