Google DeepMind AlphaProof Nexus bilimsel dergide yayımlandı

Google DeepMind tarafından geliştirilen AlphaProof Nexus, Science dergisinde yayımlanan yeni bir araştırmaya göre kendi başına düzinelerce açık matematik problemini çözmeyi başardı. The Decoder'ın aktardığına göre yapay zeka, 353 açık Erdős probleminden dokuzunu çözerken, bunlardan ikisinin 56 yıldır çözülememiş olduğu belirtildi. Ekip, söz konusu çözümleri makaleden önce internet üzerinden paylaştı.

Yapay zeka hangi matematik problemlerini çözdü?

Araştırma kapsamında sistem, OEIS tam sayı dizisi veritabanından 44 konjektürü kanıtladı, cebirsel geometride açık bir soruyu çözdü ve yapay zeka modellerini eğitmekte kullanılan min-max optimizasyonunda bilinen bir üst sınırı geliştirdi. Google DeepMind'ın açıklamasına göre yapı, Lean adlı resmi dilde kanıt taslakları hazırlayıp düzenleyen Gemini 3.1 Pro etrafında şekilleniyor. Lean, her düzenlemenin ardından taslakları kontrol ederken hata mesajları sonraki denemelere rehberlik ediyor ve daha zor alt problemler için AlphaProof adlı özel bir araç devreye giriyor.

Hakem süreci ve akademik tartışmalar

Bu gelişme, yapay zekanın matematik alanındaki rolüne dair tartışmaların sürdüğü bir dönemde ortaya çıktı. Kaynaklara göre OpenAI yakın zamanda yüzlerce yapay zeka kanıtını akademik dergilere sunmak yerine doğrudan GitHub üzerinde paylaşmış, Terence Tao liderliğindeki İnsan Matematiği Derneği ise bu duruma karşı boykot çağrısında bulunmuştu. Google DeepMind ise çalışmasını akademik hakem sürecinden geçirmeyi tercih etti.