DeepMind'ın AlphaProof Nexus'u dokuz Erdős problemini çözdü, çalışma Science'ta yayımlandı

Google DeepMind, AlphaProof Nexus adlı sistemin açık matematik problemlerini kendi başına çözdüğünü Science dergisinde yayımlanan bir çalışmayla duyurdu. Sistem, henüz çözülmemiş 353 Erdős probleminden dokuzunu çözdü; bunlardan ikisi 56 yıldır açıktı. Ekip bu çözümleri makaleden önce internette paylaşmıştı. AlphaProof Nexus ayrıca OEIS tam sayı dizileri veritabanındaki 44 sanıyı kanıtladı, cebirsel geometride açık bir soruyu yanıtladı ve bazı yapay zeka modellerinin eğitiminde kullanılan min-max optimizasyonunda bilinen bir sınırı iyileştirdi.

Sistemin merkezinde Gemini 3.1 Pro bulunuyor. Model kanıt taslaklarını biçimsel kanıt dili Lean'de yazıp düzeltiyor; Lean her düzenlemeden sonra taslağı denetliyor ve hata mesajları bir sonraki denemeye yön veriyor. Zor alt problemlerde sistem, kanıt için geliştirilmiş AlphaProof aracına başvurabiliyor. Çalışma, OpenAI'ın yüzlerce kanıtı hakem değerlendirmesinden geçirmeden GitHub'da yayımlamasının ardından geldi.