Google DeepMind'ın AlphaProof Nexus'u onlarca açık matematik problemini çözdü ve hakem denetiminden geçti
Google DeepMind'ın AlphaProof Nexus sistemi, ikisi 56 yıldır çözülemeyen dokuz Erdős problemi dahil onlarca açık matematik problemini çözdü. Sonuçlar Science dergisinde yayımlandı ve yayından önce hakem denetiminden geçirildi. Bu, OpenAI'nin GitHub'a hakem denetimsiz yapay zekâ kanıtları yığması nedeniyle boykot tartışmaları yaşadığı bir döneme denk geliyor.
