Asal İkizler Sanısı: Birbirine Sadece 2 Uzaklıktaki Asallar Sonsuza Dek Devam Eder mi?

Yan Yana Duran Asallar

Asal sayıları hatırlayalım: 2, 3, 5, 7, 11, 13, 17, 19, 23... Bunlara dikkatlice bakınca, bazılarının çok yakın olduğunu fark edersiniz. Aralarında yalnızca 2 fark olan asal çiftleri:

• (3, 5)
• (5, 7)
• (11, 13)
• (17, 19)
• (29, 31)
• (41, 43)...

Bu çiftlere asal ikizler denir. (2 fark, iki tek sayının olabileceği en küçük farktır; çünkü aralarında hep bir çift sayı bulunur.) İkiz asallar, asal sayıların seyrekleştiği büyük sayılarda bile zaman zaman karşımıza çıkar.

Basit ama Devasa Soru

Daha önce Öklid'in, asal sayıların sonsuz olduğunu kanıtladığını görmüştük. Doğal bir soru akla gelir:

Peki asal ikizler de sonsuz tane midir? Yoksa bir noktadan sonra hiç ikiz asal kalmaz mı?

Sayılar büyüdükçe asallar seyrekleşir, dolayısıyla "iki asalın tam yan yana (2 farkla) gelmesi" giderek daha zor görünür. Belki bir yerden sonra ikizler tamamen tükenir? Yoksa ne kadar büyük sayılara gidersek gidelim, hep yeni ikizler buluruz mu?

İşte Asal İkizler Sanısı der ki: Sonsuz tane asal ikiz vardır. Yani asla bitmezler. Bu, doğru gibi görünüyor — bilgisayarlar akıl almaz büyüklükte ikiz asallar buldu — ama kimse kanıtlayamadı. Bu, matematiğin en eski ve en ünlü çözülmemiş problemlerinden biridir.

Neden Bu Kadar Zor?

Tıpkı Goldbach ve Riemann'da olduğu gibi, sorun asal sayıların düzensiz dağılımındadır. Asalların ne zaman, nerede ortaya çıkacağını tahmin etmek zordur. "Sonsuz tane asal var" demek (Öklid bunu kanıtladı), "asalların sonsuz kez tam 2 farkla yan yana geleceğini" garanti etmez. İkincisi, asalların birbirine göre konumları hakkında çok daha ince bir bilgi gerektirir — ve bu, mevcut matematik araçlarının ötesinde gibi görünüyor.

Tarihi Bir Atılım: Yitang Zhang

Yıllarca bu problemde neredeyse hiç ilerleme olmadı. Sonra 2013'te, o zamana kadar pek tanınmayan bir matematikçi — Yitang Zhang — çarpıcı bir sonuç yayımladı.

Zhang, "sonsuz tane asal ikiz var" (fark = 2) iddiasını tam kanıtlayamadı. Ama olağanüstü bir şey kanıtladı: Aralarındaki fark belirli bir sınırı (başlangıçta 70 milyon) aşmayan sonsuz tane asal çifti vardır. Yani asallar, ne kadar büyürlerse büyüsünler, sonsuz kez birbirine "yakın" (sınırlı bir mesafede) kalmaya devam ediyordu.

Bu, devasa bir atılımdı. İlk kez, asalların sonsuz kez sınırlı bir aralıkta kümelendiği kesin olarak gösterildi. Zhang'ın hikâyesi ayrıca ilham vericiydi: Akademik kariyerinde uzun süre dışlanmış, bir ara bir restoranda çalışmış, neredeyse tanınmayan bir matematikçi, en büyük problemlerden birinde tarihi bir adım attı.

Polymath Projesi: Sınırı Daraltmak

Zhang'ın 70 milyonluk sınırı, asıl hedef olan 2'den çok uzaktı. Ama kapıyı açmıştı. Hemen ardından, dünyanın dört bir yanından matematikçiler — aralarında daha önce Collatz'da adı geçen Terence Tao'nun öncülük ettiği "Polymath" adlı çevrimiçi işbirliği projesiyle — bu sınırı hızla daraltmaya başladı.

Milyonlardan binlere, binlerden yüzlere... Bugün, belirli varsayımlar altında bu fark 6'ya kadar indirildi (varsayımsız en iyi sonuç ise 246'dır). Yani asıl hedef olan 2'ye çok yaklaşıldı — ama o son adım, yani gerçek Asal İkizler Sanısı (fark = 2), hâlâ kanıtlanamadı. O ince ama inatçı boşluk duruyor.

Niçin Önemli?

• Asalların yapısı: Asal İkizler Sanısı, asal sayıların derin dağılım gizemiyle (Riemann Hipotezi'yle de bağlantılı) iç içedir. Asalları anlamak, sayılar teorisinin kalbidir.
• İşbirliğinin gücü: Polymath projesi, internet çağında matematiğin nasıl kolektif olarak yapılabileceğinin ilham verici bir örneğidir — tıpkı Pascal ve Fermat'nın mektuplaşmasının modern, devasa versiyonu gibi.
• Beklenmedik kahramanlar: Zhang'ın hikâyesi, büyük buluşların bazen en beklenmedik kişilerden gelebileceğini hatırlatır.

Sonuç

Asal İkizler Sanısı, "11 ve 13 gibi yakın asal çiftleri hiç biter mi?" gibi bir çocuğun anlayacağı sorudur — ama cevabı, insanlığın en parlak zihinlerini yüzyıllardır bekletiyor. Yitang Zhang'ın atılımı ve onu izleyen küresel işbirliği, hedefe çok yaklaştırdı bizi; ama o son, en zor adım hâlâ atılamadı.

Bir gün birisi o boşluğu kapatacak. O zamana kadar, sayı doğrusunda her yeni ikiz asal — 10.000.000.061 ve 10.000.000.063 gibi — bize asalların hâlâ saklamaya devam ettiği bir sırrı fısıldıyor.