Ne oldu
Google DeepMind'ın AlphaProof Nexus sistemi, matematik dünyasında yıllardır açık duran onlarca problemi çözdü. Çözülenler arasında dokuz Erdős problemi var; bunlardan ikisi 56 yıldır çözümsüz kalmıştı.
Neden önemli
Sonuçlar Science dergisinde yayımlandı. Yani bulgular, yayından önce bağımsız hakem denetiminden geçti. Bu, yapay zekâ destekli matematik sonuçlarının bilimsel olarak doğrulanması açısından kritik bir adım.
Karşıtlık
Haber, OpenAI'nin GitHub'a hakem denetiminden geçmemiş yapay zekâ kanıtları yüklemesi nedeniyle boykot çağrılarıyla gündemde olduğu bir dönemde geldi. DeepMind ise sonuçlarını yayımlamadan önce denetletti.
Erdős problemleri nedir?
Erdős problemleri, ünlü matematikçi Paul Erdős'ün ortaya attığı ve çözülmesi için ödül konulan açık sorulardır. Yıllarca çözülemeyen bu problemlerin bir kısmının bir yapay zekâ sistemi tarafından çözülmesi, otomatik matematiksel ispat alanında önemli bir eşik olarak değerlendiriliyor.
