Science dergisinde yer alan yeni bir araştırmaya göre Google Deepmind’ın YZ’si, düzinelerce açık matematik problemini kendi başına çözdü. AlphaProof Nexus, 353 açık Erdős probleminden dokuzunu çözdü; bunlardan ikisi 56 yıldır çözümsüz duruyordu. Ekip bu çözümleri, makale öncesinde çevrim içi ortamda paylaştı.
Bunun da ötesinde AlphaProof Nexus, OEIS tam sayı dizisi veri tabanındaki 44 varsayımı kanıtladı, cebirsel geometride açık bir soruyu çözdü ve bazı YZ modellerini eğitmek için kullanılan bir teknik olan min-maks optimizasyonunda bilinen bir sınırı geliştirdi. Sistemin temelinde, kanıt taslaklarını biçimsel Lean dilinde hazırlayan ve düzenleyen Gemini 3.1 Pro var. Lean, her düzenlemenin ardından her taslağı kontrol ediyor ve hata mesajları bir sonraki denemeye yön veriyor. Model, daha zorlu alt problemler için özel bir kanıt aracı olan AlphaProof’u devreye sokabiliyor. Google Deepmind, sistemin AlphaProof desteği olmadan bile dokuz Erdős problemini çözdüğünü bildirdi.
Çalışma, YZ matematiğine dair hararetli bir tartışmanın ortasında geldi. OpenAI kısa süre önce YZ tarafından oluşturulan yüzlerce matematiksel kanıtı akademik dergilere göndermek yerine GitHub’a topluca yükledi. Terence Tao liderliğindeki Association for Human Mathematics boykot çağrısında bulundu. Deepmind ise çalışmasını hakem değerlendirmesinden geçirdi.
Kaynak: https://the-decoder.com/google-deepminds-alphaproof-nexus-solved-dozens-of-open-math-problems-and-actually-got-peer-reviewed/
