Google DeepMind’in AlphaProof Nexus’u onlarca açık matematik problemini çözdü

Dokuz Erdős Problemi ve 44 Hipotez

Google DeepMind’in AI sistemi AlphaProof Nexus, Science’de yayımlanan hakemli bir çalışmayla doğrulanmak üzere onlarca açık matematik problemini bağımsız olarak çözdü. Sistem, 353 açık Erdős probleminden dokuzunu çözdü; bunların ikisi 56 yıldır çözülmüyordu.

Ekip, bu çözümleri makale yayımlanmadan önce çevrimiçi olarak paylaştı. Erdős problemlerinin yanı sıra AlphaProof Nexus, OEIS’in tüm tam sayı dizileri veritabanından 44 hipotezi doğruladı, cebirsel geometride açık bir sorunu çözdü ve bazı AI modellerinin eğitiminde kullanılan bir teknikte min-max optimizasyonundaki bilinen sınırı iyileştirdi.

Sistem Nasıl Çalışır

AlphaProof Nexus, Gemini 3,1 Pro üzerine kurulmuş olup Lean adlı biçimsel dilde ispatlar üretir ve düzeltir. Lean, her değişiklikten sonra her taslağı doğrular; hata mesajları ise bir sonraki denemeyi yönlendirir.

Daha karmaşık alt görevler için sistem, özel bir ispat aracı olan AlphaProof’a yönelebilir. Google DeepMind, AlphaProof olmadan bile sistemin dokuz Erdős problemini çözdüğünü belirtiyor.

AI ve Matematik Tartışmaları Arka Planında Hakem Değerlendirmesi

Bu çalışma, yapay zekâ ile matematik arasındaki kızışmış tartışmaların arka planında yayımlandı. OpenAI kısa bir süre önce, ispatları dergilerde sunmak yerine yüzlerce yapay zekâ üretimli ispatı GitHub’da yayımladı. Terence Tao’nun liderliğindeki İnsan Matematik Derneği, bu yaklaşımın boykot edilmesini çağırdı.

DeepMind ise çalışmasını hakem değerlendirmesinden geçirdi; sonuçlar Science’de yayımlandı.

Kaynaklar: The Decoder