Yapay zeka tarafından üretilen ve bu ayın başlarında yapay zekadan türetilmiş 377 matematiksel sonucun bir parçası olarak açıklanan bir kanıt, son iki haftayı onu parçalara ayırmaya harcayan insan uzmanların beğenisini kazanıyor. 19 Ekim'de yazan Quanta Magazine, sayı teorisyenlerinin artık Riemann hipotezinin daha zayıf bir versiyonu olan ve muhtemelen matematikteki en büyük açık soru olan yarı-Riemann hipotezinin yapay zeka tarafından oluşturulan kanıtını ortaya çıkardıklarını ve kararlarının alışılmadık derecede vurgulu olduğunu bildirdi.

Stanford Üniversitesi'nden Jared Duker Lichtman bunu "açık farkla şimdiye kadarki en önemli matematik için yapay zeka başarısı" olarak nitelendirdi. Kanıtın bazı kısımlarını kendi çalışmasıyla destekleyen New York Üniversitesi'nden Maksym Radziwiłł, sonuçları "şaşırtıcı" olarak nitelendirdi. For more context on this story, see our ongoing breaking AI news.

Yarı-Riemann Hipotezi Ne İddia Ediyor?

Riemann hipotezi 160 yılı aşkın süredir açıktır. Riemann zeta fonksiyonu ve onun önemsiz sıfırlarının konumlarıyla ilgilidir ve asal sayıların tamsayılar arasında nasıl dağıtıldığıyla yakından bağlantılıdır. Asal sayılar aritmetiğin yapı taşları olduğundan, bir kanıt sayı teorisinin geniş alanlarını yeniden şekillendirebilir.

Hipotez, Clay Matematik Enstitüsü tarafından adlandırılan yedi Milenyum Ödüllü Problemden biridir ve David Hilbert'in bir yüzyıl önce açıklanan 23 problemden oluşan ünlü listesinden taşınan tek problemdir.

Quanta'nın ortaya koyduğu teknik iskelet nesiller boyu adım adım haritalandı. Riemann 1859'da zeta fonksiyonunun önemsiz sıfırlarının sayı doğrusu boyunca asal sayıların nasıl inceleceğini belirlediğini gösterdi ve bunların yalnızca girdinin gerçek kısmının sıfır ile bir arasında olduğu dikey bir şerit içinde oturabileceklerini kanıtladı. 1896'da iki matematikçi birbirinden bağımsız olarak şeridin sağ kenarında sıfır bulunmadığını gösterdi; bu sonuç asal sayı teoremini kanıtlayacak kadar güçlüydü. Hipotezin kendisi, tüm önemsiz sıfırların, gerçek kısmın yarıya eşit olduğu şeridin orta hattında tam olarak oturduğunu söylüyor. Negatif çift tamsayılardaki önemsiz sıfırlar zaten tamamen anlaşılmıştır. 160 yılı aşkın bir çaba, sıfırları sabitlemeksizin bu şeridi daralttı ve araştırdı.

Yarı-Riemann hipotezi veya yarı-RH kesinlikle daha zayıf bir ifadedir. Öyle olsa bile, sonuçları neredeyse bu noktaya kadar ulaşıyor. Radziwiłł Quanta'ya şöyle konuştu: "Bir bakıma RH'nin sonuçlarının büyük çoğunluğu zaten yarı-RH'den kaynaklanıyor."

Duyurudan Doğrulamaya

Sonuç ilk olarak 6 Ekim'de OpenAI'nin yapay zeka sistemleriyle elde edilen 377 matematiksel sonucu duyurmasıyla ortaya çıktı. Duyuru, profesyonel matematikçiler arasında ilk başta ölçülü bir şüphecilikle karşılandı; yapay zeka sistemleri daha önce iddia edilen kanıtları üretti ancak bunlar uzman incelemesi altında başarısız oldu ve doğrulama uzun süredir yapay zeka tarafından üretilen matematiği kabul edilen matematikten ayıran bir darboğaz oldu.

Quanta'nın raporuna göre bu kanıt farklı: diğer yakın tarihli yapay zeka kanıtlarının aksine, bu kanıt insan uzmanlar tarafından ortaya çıkarıldı. Radziwiłł, Georgia Teknoloji Enstitüsü'nden Alexander Dunn ve diğerleri de dahil olmak üzere sayı teorisyenleri, duyurudan bu yana argüman üzerinde çalışıyor, adımlarını kontrol ediyor ve mevcut bilgiler içerisine yerleştiriyor.

Çekler bekletildi. Radziwiłł ile birlikte sonucun kısmen dayandığı tekniklere öncülük eden Dunn, "Kanıt, iyi bilinen fikirlerin şaşırtıcı bir sentezidir" dedi.

Eski Fikirler, Gizli Bağlantılar

Matematikçiler Quanta'ya, kanıtın belki de en çarpıcı yönünün gerektirmediği şey olduğunu söyledi. Riemann hipotezinin zayıflatılmış bir formunun bile çözümlenmesinin temelde yeni makineler gerektireceği yönündeki beklentilerin aksine, yapay zeka tarafından üretilen kanıt hiçbir yeni kavram ortaya koymadı. Bunun yerine, teknikleri hiçbir insanın bir araya getiremediği şekilde birleştirerek, yerleşik bağlantılar arasındaki gizli bağlantıları ortaya çıkardı.

Yeni teori yerine beklenmedik sentez yoluyla yenilik sağlayan bu model, yapay zeka destekli matematiksel keşiflerin bir imzası olarak ortaya çıkıyor ve araştırmacıları, matematiğe makine katkısının ilk olarak nereye ulaşacağını yeniden düşünmeye teşvik ediyor.

Yapay Zeka Araştırması Neden Önemlidir

Doğrulanan sonuç, akıl yürütme modelleri geliştikçe hızla hızlanan bir alan olan matematikte yapay zeka için bir dönüm noktası oldu. OpenAI'nin 6 Ekim'deki duyurusu, İleri Araştırma Enstitüsü'nün bir dizi sonuçla ilgili sorular gündeme getirdiği sırada ele aldığımız, bugüne kadar yapay zekadan türetilmiş matematikle ilgili en büyük iddiaydı. Yarı-RH kanıtı, bu gruptan ayrıntılı bir uzman incelemesi alan ilk sonuçtur ve hayatta kalmıştır.

Bu bölüm, yapay zeka laboratuvarları için standart hale gelebilecek bir iş akışını gösteriyor: modeller geniş ölçekte aday kanıtları üretiyor ve insan uzmanlar önemli sonuçları önceliklendiriyor, doğruluyor ve özümsüyor. Matematikçiler için, doğrudan sonuç daha dar ama gerçektir; Riemann hipotezinin artık tam bir varsayıma ihtiyaç duymayan sonuçlarının bir bütünü.

Quanta, matematikçilerin kanıtın bu alan için ne anlama geldiği üzerinde çalışmaya henüz başladıklarını belirtiyor. Radziwiłł'un belirttiği gibi, çıkarımlar "şaşırtıcı"dır; bu sıfat, tam hipotezin gerisinde kalan bir sonuca nadiren eklenir.

Bölüm aynı zamanda gelecekteki iddialar için de bir referans noktası oluşturuyor. Matematiksel atılımları duyuran herhangi bir yapay zeka laboratuvarı artık yarı-RH'ye göre ölçülecek: iddia edilen bir sonuç, bunu çürütebilecek en iyi konumdaki uzmanlar tarafından kontrol edilmiş, doğrulanmış ve kabul edilmiş.

Bunların hiçbiri Riemann hipotezini tek başına çözüme kavuşturmuyor. Tahminin tamamı açık kalıyor ve yarı-RH kesinlikle daha zayıf. Ancak ilk kez bir yapay zeka sistemi, analitik sayı teorisinin sınırında, alandaki önde gelen uzmanların ortaya çıkardığı ve onayladığı bir kanıt üretti; bu, teoremin kendisi kadar matematiksel araştırmanın geleceği hakkında da çok şey söyleyebilir.

Bu makale Quanta Magazine'in 19 Ekim 2026'da yayınlanan haberine dayanmaktadır.

---

Stay Ahead of AI

Get the latest AI news, analysis, and breakthroughs — all in one place.

Read more AI news →