Google DeepMind'ın AlphaProof Nexus'u, Science dergisinde yayımlanan hakemli bir çalışmaya göre, bağımsız olarak onlarca açık matematik problemini çözdü. Sistem, 353 açık Erdős probleminden dokuzunu başarıyla çözdü; bunların arasında 56 yıldır çözülemeyen iki problem de vardı ve ekip çözümleri ilk olarak çevrimiçi paylaştı.
Yapay zeka sistemi, OEIS tam sayı dizisi veri tabanındaki 44 varsayımı kanıtladı, cebirsel geometri alanında açık bir sorunu çözdü ve min‑max optimizasyonunda bilinen bir üst sınırı iyileştirdi. Gemini 3.1 Pro etrafında inşa edilen AlphaProof Nexus, kanıtları formal dil olan Lean'de taslaklar ve revize eder; Lean her taslağı kontrol eder ve hata mesajlarını sonraki denemeler için yönlendirici olarak kullanır. Daha zor alt problemler için, özel kanıt aracı AlphaProof'tan yararlanır.
Bu hakemli yayın, OpenAI'nin yüzlerce yapay zeka kanıtını akademik dergilere göndermek yerine GitHub'ta yayınlaması gibi son dönemdeki endüstri yaklaşımlarıyla tezat oluşturuyor. Google DeepMind, bulgularını geleneksel hakemli süreçten geçirmeyi tercih etti. Bu matematiksel dönüm noktası, karmaşık problemleri çözmede otomatik akıl yürütme ve formal doğrulama alanında kayda değer bir ilerleme gösteriyor.