Google Deepmind hat mit AlphaProof Nexus neun offene Erdős-Probleme autonom gelöst. Kosten pro Problem: ein paar hundert Dollar.