Google DeepMind'ın AlphaProof Nexus sistemi, matematikçi Paul Erdős'ün dokuz açık problemini çözdü ve OEIS'teki 44 varsayımı kanıtladı. Hakemli çalışma 8 Ekim'de Science dergisinde yayımlandı; sistem birçok denemede ise başarısız oldu.
Stories on this topic, gathered from every source.