Matematik, kesin sonuçlara ulaşan bir bilim olarak bilinse de bazı sorular yüzyıllardır cevapsız kalıyor. Üstelik bunların bir kısmı, birkaç basit sayı kullanılarak anlatılabilecek kadar anlaşılır. Dünyanın en başarılı matematikçileri, gelişmiş bilgisayarlar ve yapay zeka sistemleri bu problemlerin çözümü için çalışmaya devam ediyor. Bazılarının çözümüne ise tam 1 milyon dolar ödül veriliyor.
2000 yılında ABD merkezli Clay Matematik Enstitüsü, matematik tarihinin en önemli yedi probleminden oluşan Milenyum Problemleri listesini açıkladı. Her birinin çözümü için 1 milyon dolar ödül belirledi. Bugüne kadar yalnızca biri kesin olarak çözüldü. Diğer altısı ise matematik dünyasının en büyük araştırma konuları arasında yer alıyor. Bunun dışında, resmi milyon dolarlık ödül programına dahil olmayan ancak onlarca veya yüzlerce yıldır matematikçileri uğraştıran başka problemler de bulunuyor.
1. Riemann Hipotezi: Asal Sayıların Gizli Düzeni
Ortaya atıldığı yıl: 1859
Ödül: 1 milyon dolar
Alman matematikçi Bernhard Riemann tarafından ortaya atılan bu hipotez, asal sayıların dağılımıyla bağlantılıdır. Asal sayılar yalnızca 1'e ve kendilerine bölünebilen, 1'den büyük doğal sayılardır. Örneğin 2, 3, 5, 7, 11 ve 13 asal sayılardır.
Asal sayılar sayı doğrusu üzerinde düzensiz aralıklarla görünür. Riemann, geliştirdiği zeta fonksiyonunun belirli sıfırlarının karmaşık sayı düzleminde aynı doğru üzerinde bulunduğunu öne sürdü. Bu iddia doğruysa asal sayıların dağılımındaki sapmalar hakkında çok daha kesin sonuçlara ulaşılabilir.
Örnek: 10 ile 20 arasında 11, 13, 17 ve 19 olmak üzere dört asal sayı bulunur. Ancak sayılar büyüdükçe asal sayıların hangi aralıklarla karşımıza çıkacağını kesin olarak belirlemek zorlaşır. Riemann Hipotezi, bu dağılımın matematiksel yapısını anlamak açısından büyük önem taşır.
2. P ve NP Problemi: Çözümü Kontrol Etmek Kolayken Bulmak Neden Zor?
Ortaya atıldığı dönem: 1970'ler
Ödül: 1 milyon dolar
Bilgisayar biliminin en önemli problemlerinden biri olan P ve NP sorusu, bir problemin çözümünü hızlıca doğrulayabilmek ile o çözümü hızlıca bulabilmek arasındaki ilişkiyi araştırır. Bazı problemlerde doğru cevabı kontrol etmek kolaydır. Ancak o cevabı sıfırdan bulmak, seçeneklerin sayısı arttıkça son derece zorlaşabilir.
Örnek: Bir şehirde 100 farklı noktayı, her noktadan yalnızca bir kez geçerek ziyaret etmeniz gerektiğini düşünün. Size hazır bir güzergah verilirse kurallara uyup uymadığını kontrol edebilirsiniz. Ancak uygun güzergahı kendiniz bulmaya çalıştığınızda çok sayıda olasılığı değerlendirmeniz gerekebilir.
Matematikçilerin çözmeye çalıştığı soru, doğruluğu hızlıca kontrol edilebilen her problemin çözümünün de hızlıca bulunup bulunamayacağıdır. Bu sorunun yanıtı bilgisayar teknolojileri, optimizasyon ve kriptografi açısından büyük önem taşır.
3. Collatz Varsayımı: Hangi Sayıyı Seçerseniz Seçin Sonunda 1'e Ulaşır Mısınız?
Ortaya atıldığı yıl: 1937
Ödül: 2021 yılında özel bir girişim tarafından 120 milyon Japon yeni ödül duyuruldu. Ayrıca matematikçi Ingo Althöfer tarafından 1.000 avroluk ayrı bir ödül sunuluyor. Bunlar Clay Enstitüsünün ödüllerinden bağımsızdır.
Alman matematikçi Lothar Collatz tarafından ortaya atılan problem, matematik tarihinin en kolay anlatılabilen ancak çözümü bulunamayan sorularından biridir. Kurallar oldukça basittir. Pozitif bir tam sayı seçilir. Sayı çiftse ikiye bölünür, tekse üçle çarpılıp bir eklenir. Ortaya çıkan sayıya aynı işlemler uygulanır.
Örnek: Başlangıç sayımız 6 olsun.
6 → 3 → 10 → 5 → 16 → 8 → 4 → 2 → 1
Sayı sonunda 1'e ulaşır. Aynı işlem 7, 15 veya 27 gibi başka sayılarla da denenebilir. Bazı sayılar 1'e ulaşmadan önce beklenmedik biçimde büyür.
Bilgisayarlarla çok büyük sayılar üzerinde yapılan denemelerde sonuç hep 1'e ulaşmıştır. Ancak matematikçiler bunun bütün pozitif tam sayılar için geçerli olduğunu henüz kanıtlayamamıştır.
4. Goldbach Varsayımı: Her Çift Sayı İki Asal Sayının Toplamı Mı?
Ortaya atıldığı yıl: 1742
Ödül: Günümüzde geçerli olduğu doğrulanmış büyük bir kurumsal ödül bulunmuyor. Geçmişte bu problem için süreli bir milyon dolarlık ödül kampanyası düzenlenmişti.
Alman matematikçi Christian Goldbach'ın adıyla anılan bu varsayım, ikiden büyük her çift tam sayının iki asal sayının toplamı olarak yazılabileceğini öne sürer.
Örnekler:
4 = 2 + 2
10 = 3 + 7
18 = 7 + 11
28 = 11 + 17
100 = 47 + 53
Bu örneklerin tamamı varsayımı destekler. Bilgisayarlarla çok büyük çift sayılar üzerinde yapılan kontrollerde de herhangi bir karşı örnek bulunamamıştır.
Ancak matematikte milyonlarca, hatta trilyonlarca örneğin doğru çıkması, bir iddianın bütün sayılar için geçerli olduğunu kanıtlamaz. Goldbach Varsayımı, yaklaşık üç asırdır bu nedenle çözülemeyen problemler arasında yer alıyor.
5. Navier–Stokes Problemi: Suyun ve Havanın Hareketi Tam Olarak Açıklanabilir Mi?
Denklemlerin geliştirildiği dönem: 19. yüzyıl
Ödül: 1 milyon dolar
Navier–Stokes denklemleri, sıvıların ve gazların hareketlerini matematiksel olarak açıklamak için kullanılır. Uçakların çevresindeki hava akımı, denizlerdeki dalgalar, borulardan geçen su ve atmosferdeki hareketler bu denklemlerle incelenebilir. Ancak üç boyutlu akışkan hareketleri için belirli başlangıç koşullarında çözümlerin her zaman var olup düzgün kalacağı henüz genel olarak kanıtlanmış değildir.
Örnek: Bir bardak suyu kaşıkla karıştırdığınızda suyun içinde girdaplar oluşur. Başlangıçta düzenli görünen hareket, kısa sürede karmaşık bir akışa dönüşebilir. Matematikçiler bu hareketleri modelleyebilse de denklemlerin her durumda nasıl davranacağını açıklayan genel matematiksel sonuca ulaşmak son derece zordur.
2026 yılında bu problem için önemli bir çözüm iddiası duyuruldu. Ancak Clay Matematik Enstitüsünün resmi ödül değerlendirmesi henüz tamamlanmadığından problem kesin olarak çözülmüş kategorisine alınmadı.
6. İkiz Asallar Varsayımı: Aralarında İki Fark Olan Sonsuz Asal Sayı Var Mı?
Ortaya çıkışı: Antik çağlardan beri incelenen asal sayılarla ilgili klasik bir problem
Ödül: Clay Enstitüsünün 1 milyon dolarlık ödül programında yer almıyor. Genel kabul görmüş büyük bir kurumsal ödül bulunmuyor.
İkiz asallar, aralarında yalnızca iki fark bulunan asal sayı çiftleridir.
Örnekler:
3 ve 5
5 ve 7
11 ve 13
17 ve 19
29 ve 31
41 ve 43
Bu sayı çiftlerinden çok sayıda bulunmuştur. Ancak sayıların sonsuza kadar devam ettiği düşünüldüğünde aynı özelliğe sahip asal sayı çiftlerinin de sonsuz sayıda olup olmadığı bilinmiyor.
Matematikçiler asal sayılar arasındaki farklarla ilgili önemli ilerlemeler kaydetmiş olsa da farkın tam olarak iki olduğu sonsuz sayıda asal çiftinin bulunduğu henüz kanıtlanamadı.
7. Birch ve Swinnerton-Dyer Varsayımı: Denklemlerin Kaç Çözümü Olduğu Anlaşılabilir Mi?
Ortaya atıldığı dönem: 1960'lar
Ödül: 1 milyon dolar
İngiliz matematikçiler Bryan Birch ve Peter Swinnerton-Dyer tarafından geliştirilen bu varsayım, eliptik eğriler adı verilen matematiksel yapıların rasyonel sayı çözümleriyle ilgilidir.
Eliptik eğriler, belirli türde cebirsel denklemlerle tanımlanır. Matematikçiler bu eğrilerin kaç bağımsız rasyonel çözüm yapısına sahip olduğunu, onlarla ilişkili özel bir fonksiyonun davranışından anlamaya çalışır.
Örnek: y² = x³ − x denklemini ele alalım. Bu denklemi sağlayan (0,0), (1,0) ve (−1,0) gibi noktalar vardır. Ancak asıl problem birkaç çözüm bulmak değil, bu tür denklemlerin bütün rasyonel çözümlerinin yapısını anlamaktır.
Varsayımın çözümü sayı teorisi ve eliptik eğrilerin kullanıldığı kriptografi gibi alanlar açısından önemli matematiksel sonuçlar sağlayabilir.
8. Hodge Varsayımı: Karmaşık Geometrik Şekillerin Gizli Yapısı
Ortaya atıldığı yıl: 1950
Ödül: 1 milyon dolar
İskoç matematikçi William Vallance Douglas Hodge'un adıyla anılan bu varsayım, cebirsel geometri ve topoloji arasındaki derin bir ilişkiyi konu alır.
Matematikçiler bazı geometrik yapıların özelliklerini cebirsel denklemlerle açıklayabilir. Ancak çok boyutlu karmaşık uzaylarda belirli geometrik özelliklerin her zaman cebirsel yapılardan elde edilip edilemeyeceği bilinmiyor.
Örnek: Bir kürenin yüzeyi ile simit biçimindeki bir yüzey arasında önemli bir fark vardır. Kürenin deliği yokken simit yüzeyinin bir deliği bulunur. Topoloji, şekillerin bu tür özelliklerini inceler. Hodge Varsayımı ise çok daha karmaşık geometrik uzaylarda belirli topolojik bilgilerin cebirsel alt yapılardan gelip gelmediğini araştırır.
Bu basit şekil karşılaştırması problemin kendisini çözmez, ancak geometrinin görünüşten çok daha derin özellikler taşıdığını anlamaya yardımcı olur.
9. Yang–Mills ve Kütle Boşluğu Problemi: Evrenin Temel Kuvvetlerinin Matematiği
Kuramın geliştirildiği yıl: 1954
Ödül: 1 milyon dolar
Fizikçiler Chen Ning Yang ve Robert Mills tarafından geliştirilen kuram, doğadaki temel etkileşimlerin matematiksel açıklanmasında önemli bir yere sahiptir.
Yang–Mills kuramları parçacık fiziğinin Standart Modeli'nin temelini oluşturur. Ancak bu kuramların dört boyutlu uzay-zamanda matematiksel olarak kesin biçimde kurulması ve pozitif bir kütle boşluğuna sahip olduğunun kanıtlanması hala açık bir problemdir.
Örnek: Kuantum fiziğinde bir sistemin sahip olabileceği en düşük enerji durumu ile onun üzerindeki ilk uyarılmış durum arasında pozitif bir enerji farkı bulunabilir. Kütle boşluğu problemi, Yang–Mills kuramının uygun kuantum biçiminde böyle bir farkın varlığının matematiksel olarak kanıtlanmasını gerektirir.
Bu problemin çözümü, modern parçacık fiziğinin matematiksel temellerini daha sağlam biçimde anlamamıza katkıda bulunabilir.
Çözülen Tek Milyon Dolarlık Problem: Poincaré Varsayımı
Ortaya atıldığı yıl: 1904
Ödül: 1 milyon dolar teklif edildi, ancak reddedildi.
Fransız matematikçi Henri Poincaré tarafından ortaya atılan varsayım, üç boyutlu uzayların topolojik özellikleriyle ilgiliydi. Basitleştirilmiş anlatımıyla, belirli koşulları sağlayan kapalı ve deliksiz üç boyutlu bir uzayın üç boyutlu küreyle aynı topolojik yapıya sahip olup olmadığı araştırılıyordu.
Rus matematikçi Grigori Perelman, 2002 ve 2003 yıllarında yayımladığı çalışmalarla problemi çözdü. Çözümü matematik dünyasında kabul gördü ve Clay Matematik Enstitüsü 2010 yılında kendisine 1 milyon dolarlık ödül vermeyi kararlaştırdı.
Ancak Perelman ödülü kabul etmedi. Daha önce kendisine verilen Fields Madalyası'nı da reddetmişti. Böylece matematik tarihinin en dikkat çekici problemlerinden birini çözen bilim insanı, kazandığı büyük para ödülünü almamayı tercih etti.
Matematiğin çözülemeyen problemleri, insanlığın bilgi birikiminin ne kadar genişlediğini ve buna rağmen ne kadar çok bilinmeyenin bulunduğunu gösteriyor. Bazıları birkaç satırlık işlemlerle anlatılırken bazılarını anlamak yıllarca ileri düzey matematik eğitimi gerektiriyor. Ortak özellikleri ise henüz herkes tarafından kabul edilen kesin bir çözüme ulaşmamış olmaları.
Milyon dolarlık ödüller bu araştırmaları daha görünür hale getirse de matematikçiler için asıl değer, bugüne kadar bilinmeyen bir gerçeği kanıtlayabilmekte yatıyor. Yüzyıllardır cevabı aranan bu sorular, matematiğin tamamlanmış bir bilgi sistemi değil, sınırları sürekli genişleyen bir araştırma alanı olduğunu hatırlatıyor.
