Çözülememiş matematik problemleri listesi

Rönesans'tan bu yana, her yüzyılda, bir önceki göre daha fazla matematik problemi çözülmüştür. Yine de birçok büyük ve küçük problem çözüme kavuşturulamamıştır. Uzun süredir var olan bir sorunun çözümü için genellikle ödüller verilir ve çözülmemiş sorunların listeleri (Milenyum Problemleri gibi) büyük önem kazanır. Çözülmemiş problemler, aralarında fizik, bilgisayar bilimi, cebir, matematiksel analiz, Kombinatorik, cebirsel geometri, ayrık geometri, Öklid geometrisi, katma ve cebirsel geometri teorileri, çizge teorisi, grup kuramı, modeller kuramı, sayılar teorisi, kümeler kuramı, Ramsey Kuramı, dinamik sistemler, Kısmi diferansiyel denklemler gibi birçok alanda varlığını sürdürmektedir.

## Matematikte çözülmemiş problemlerin listesi
Zaman içinde, çözülmemiş matematiksel problemlerin birkaç listesi ortaya çıktı.

### Milenyum Problemleri
Clay Matematik Enstitüsü tarafından yedi adet olarak belirlenen Milenyum Problemleri'nin altısı henüz çözülmedi:

*  (in)
*  (in)
*  (in)
* P ile NP arasındaki ilişki
* Riemann hipotezi
*  (in)

Yedinci problem olan Poincaré hipotezi çözüldü. Pürüzsüz dört boyutlu Poincaré varsayımı –yani, dört boyutlu bir topolojik kürenin iki veya daha fazla eşdeğer pürüzsüz yapıya sahip olup olmayacağı problemi– halen çözülmedi.

## Çözülmemiş Problemler
### [[Cebir]]
* Değişmeli cebirde homolojik varsayımlar
* Hilbert'in on altıncı problemi
* Hilbert'in on beşinci problemi
* Hadamard varsayımı
* Jacobson varsayımı
* Mükemmel küboidlerin varlığı ve ilişkili küboid varsayımlar
* Zauner varsayımı: SIC-POVM'lerin tüm boyutlarda varlığı
* Wild problemi: Eşzamanlı konjugasyon altında n×n matris çiftlerinin sınıflandırılması ve birçok  sınıflandırma problemi gibi sorunları içeren sorunlar
* Köthe varsayımı
* Birch-Tate varsayımı
* Serre'nin II. varsayımı
* Bombieri-Lang varsayımı
* Farrell-Jones varsayımı
* Bost varsayımı
* Eşbiçimlilik varsayımı
* Kaplansky'nin varsayımı
* Kummer-Vandiver varsayımı
* Serre'nin çoklu varsayımları
* Pierce-Birkhoff varsayımı
* Eilenberg-Ganea varsayımı
* Green varsayımı
* Grothendieck-Katz p eğriliği varsayımı
* Sendov varsayımı

### [[Cebirsel geometri]]

* Bass varsayımı
* Deligne varsayımı
* Fröberg varsayımı
* Fujita varsayımı
* Hartshorne varsayımları
* Jacobcu varsayımı
* Manin varsayımı
* Nakai varsayımı
* Karakteristik p'de tekilliklerin çözünümü
* Cebirsel döngülerde standart varsayımlar
* Bölüm varsayımı
* Tate varsayımı
* Virasoro varsayımı
* Zariski çokluğu varsayımı

### [[Analiz (matematik)|Matematiksel analiz]]

* Schanuel varsayımı ve dört üstel varsayım
* Lehmer varsayımı
* Pompeiu problemi
* \gamma (Euler-Mascheroni sabiti), &nbsp;+&nbsp;*[[e sayısı|e]]*, &nbsp;&minus;&nbsp;*e*, *e*, /*e*, *e*, &radic;, , e2, ln&nbsp;, 2*e*, *e**e*, Catalan sabiti ya da Khinchin sabiti rasyonel midir, cebirsel irrasyonel midir yoksa aşkın mıdır? Bu sayıların irrasyonalite ölçüsü nedir?
* Habibullin'in integral eşitsizliklere ilişkin varsayımı
* Hilbert'in onüçüncü problemi
* Vitushkin varsayımı

### [[Kombinatorik]]

* Sihirli karelerin sayısı (OEIS'teki A006052 dizisi)
* Sihirli tori sayısı (OEIS'teki A270876 dizisi)
* Rastgele seçilen iki ögenin simetrik grubu oluşturması olasılığı için bir formül bulma S_n
* Frankl'ın birleşim-kapanışı oluşum varsayımı: toplamların altında kapalı olan her set ailesi için (temel alanın) bir veya daha fazlasına ait bir ögenin varlığı
* Yalnız koşucu varsayımı: eğer çift hızlardaki k+1 koşucuları belirli bir uzunluktaki bir pist çevresinde koşuyorsa, her bir koşucu aynı anda "yalnız" mı olacaktır (burada, koşucular birbirinden en az 1/(k+1) uzaklıkta olmalıdır)?
* Singmaster varsayımı: Pascal'ın üçgeninde 1'den büyük girdilerin çarpımları üzerinde sınırlı bir üst sınır var mıdır?
* 1/3-2/3 varsayımı: Tamamen sıralanmamış bütün sonlu kısmi sıralı kümeler, x'in tesadüfi bir doğrusal uzantıda y'den önce görünme olasılığı 1/3 ile 2/3 arasında olacak şekilde iki öğe x ve y içeriyor mu?
* Markov sayıları için tek kutuplu varsayım
* Kronecker katsayılarının kombinasyonel bir yorumunun yapılması

### [[Ayrık Geometri]]

* Rastgele n sayısı için mutlu biten problemin çözümü
* K-setleri ve yarıya bölme çizgileri için eşleşen üst ve alt sınırlar bulma
* Çizgi düzenlemelerindeki üçgenler üzerindeki Kobon üçgeni problemi
* Noktaları belirgin bir biçimde konveks pozisyona dönüştüren McMullen problemi
* Ulam'ın paketleme varsayımı
* Dolum alanı varsayımı
* Hopf varsayımı
* Kakeya varsayımı
* 1, 2, 3, 4, 8 ve 24 dışındaki boyutlar için çakışmayan sayılar problemi
* Bir dizi *n* noktası ile kaç adet birim mesafe belirlenebilir? (Bkzː Birim uzaklıklarını sayma)

### [[Öklid geometrisi]]
* Einstein problemi - Bir aperiyodik döşeme için *prototile* oluşturan ancak periyodik olmayan iki boyutlu bir şekil var mıdır?
* İçteş kare problemi - her Jordan eğrisi bir içteş kareye sahip midir?
* Moser'in kurdu problemi - Düzlemdeki her birim uzunluğu eğrisini kapsayabilen bir şeklin en küçük alanı nedir?
* Hareketli kanepe problemi - Bir birim genişliğindeki L-şekilli koridorda manevra yapılabilen en geniş alan şekli nedir?
* Shephard varsayımı (ya da Dürer varsayımı) - Her dış bükey çokgen halkasında bir ağ var mıdır?
* Thomson problemi - Birbirini 1/*r* potansiyeli (veya genel olarak herhangi bir potansiyel) ile iten bir birim kürenin yüzeyine bağlı *N* parçacıkların minimum enerji konfigürasyonu nedir?
* Pentagonal döşeme - 15 tür dışbükey beşgenin düzlemi monohedral olarak döşediği bilinir ancak bu listenin tamamlanmış olup olmadığı bilinmemektedir.
* Falconer varsayımı
* g-varsayımı
* Eşkenar üçgen içindeki daire dolgusu
* İkizkenar üçgen içindeki daire dolgusu
* Lebesgue evrensel kaplama problemi - herhangi bir çap şekli için izometrik bir kaplama sağlayan en küçük alan düzlemindeki dışbükey şekil nedir?
* Bellman ormanda kayıp problemi - Belirli bir orman biçimi ve ormandaki herhangi bir başlangıç noktası ve yönü için bir noktada ormanın kenarını kesen en kısa kaçış yolunu bulun.
* Tüm düzgün 5-politop setini bulun.
* Rado kaplaması problemi
* Güçlü körük varsayımı - Esnek bir polihedronun Dehn değişmezinin bükülürken sabit kalması gerekir mi?

### [[Dinamik sistem|Dinamik Sistem]]
* Lyapunov'un istikrar için ikinci yöntemi - Dinamik sistemleri tanımlayan ADD sınıfları için, klasik ve kanonik olarak genelleştirilmiş formlarda formüle edilen Lyapunov'un ikinci yöntemi, hareketin (asimptotik) istikrarı için gerekli ve yeterli koşulları tanımlıyor mu?
* Furstenberg varsayımı - Daire üzerindeki \times 2,\times 3 hareketi için Lebesgue veya atomik her değişmez ve ergodik ölçü var mı?
* Margulis varsayımı - Yüksek raflı gruplarda köşegenleştirilebilir eylemler için sınıflandırma ölçümü
* MLC varsayımı - Mandelbrot kümesi bölgesel olarak bağlı mıdır?
* Weinstein varsayımı - Semplektik bir manifold üzerinde bir Hamiltonianın normal küçük kontak tipi seviye seti Hamilton akışının en az bir periyodik yönergesini taşıyor mu?
* Üç veya daha fazla boyuttaki her tersine çevrilebilir hücresel otomat bölgesel olarak tersine çevrilebilir mi?
* *Dış billiard* ile ilgili birçok problemin — örneğin, neredeyse her konveks çokgene göre *dış billiard* — sınırsız yörüngesi vardır.

### [[Çizge teorisi|Çizge Teorisi]]
#### Graflardaki yollar ve döngüler
* Her kübik iki parçalı üç bağlantılı düzlemsel grafın Hamilton döngüsüne sahip olduğuna dair Barnette varsayımı
* Her t-dayanıklı grafın Hamiltonyen olduğu bir *t* sayısının var olduğu temelli Chvátal dayanıklılık varsayımı
* Her köprüsüz grafın, iki kenarı da içeren bir döngüler grubuna sahip olduğuna dair çift kapaklı döngü varsayımı
* Kübik graflardaki iki uzunluklu döngülere dair Erdős–Gyárfás varsayımı
* Grafikleri parçalı yolların birleşimine ayırmada doğrusal arboricity varsayımı
* Simetrik graflardaki Hamilton yörüngesine dair Lovász varsayımı

#### Graf renklendirme ve etiketleme
*  Kliklerin birliklerinin boyanması konusundaki Erdős-Faber-Lovász varsayımı
* Küçük kliklerin renklendirilmesine dair Hadwiger varsayımı
* Birim mesafe graflarının kromatik sayıları üzerine Hadwiger-Nelson problemi
* Grafların tensör sonuçlarının kromatik sayısı üzerine Hedetniemi varsayımı
* Her köprülü küp grafın Petersen grafına döngüsel-sürekli bir haritalama varlığı üzerine Jaeger Petersen renklendirme varsayımı
* Her graf için, kromatik indeks listesinin indeks listesine eşitliğine dair liste renklendirme varsayımı
* Ağaçların zarif bir şekilde etiketlenmesine dair Ringel-Kotzig varsayımı
* Toplam renk numarasının en fazla iki artı maksimum derecede olduğuna dair Behzad ve Vizing toplam boyama varsayımı

#### Graf çizimi
* Geçiş sayısı, aynı kromatik sayıya sahip eksiksiz bir grafın geçiş sayısı ile daha düşük sınırlandırılabilir varsayımına dayanan Albertson varsayımı
* Alt bölümlerin kitap kalınlığıyla ilgili Blankenship-Oporowski varsayımı
* Conway thrackle varsayımı
* Her düzlemsel graf tam sayı kenar uzunluklarıyla çizilebilir varsayımına dayanan Harborth varsayımı
* Düzlemsel örtülü graflardan izdüşümsel düzlem gömülmeleri üzerine Negami varsayımı
* Her çok yüzlü grafın, dışbükey doyumsuz yerleştirme özelliğine sahip olduğuna dair güçlü Papadimitriou-Ratajczak varsayımı
* Turán tuğla fabrikası problemi - Zarankiewicz tarafından verilen sayıdan daha az kesişim noktası olan eksiksiz iki parçalı grafik çizimi var mıdır?
* Düzlemsel graflar için ikinci derece altı boyutun evrensel nokta kümeleri

#### Çeşitli graf teorisi
* Yasaklanmış bir alt grafa sahip grafiklerdeki büyük klikler veya bağımsız kümeler ile ilgili Erdős–Hajnal varsayımı
* Yavaş yavaş büyüyen kalıtsal graf aileleri için örtülü temsillerin varlığına dair örtülü graf varsayımı
* Her 6-köşe bağlantılı *K*6-minor-serbest grafiğin bir tepe grafiği olduğuna dair Jørgensen varsayımı
* Sızdırmama eşiği değerleri için kapalı formlu bir ifade çıkarma, özellikle p_c (kare site)
* Çevre 5 ve derece 57 olan Moore grafı var mıdır?
* Bir n-köşe küp grafın mümkün olan en geniş yolu nedir?
* Bir grafın, *vertex-deleted* alt grafikleri ile tek bir şekilde belirlenip belirlenmediğine dair yeniden yapılanma varsayımı ve yeni digraph yeniden yapılandırma varsayımı
* Sumner varsayımı: her (2n-2) -vertex turnuvası her n-köşe odaklı ağacın alt grafiğini içeriyor mu?
* Her köprüsüz graf, hiçbir yere sıfır olmayan 5 akışa ve her Petersen-minör serbest köprülü grafik, hiçbir yere sıfır olmayan 4 akışa sahiptir varsayımına dayanan Tutte varsayımı
* Grafların kartezyen sonuçlarının baskın sayılarına dair Vizing varsayımı

### [[Grup Kuramı]]
* Sonlu olarak sunulan burulma grupları sonlu mu?
* Ters Galois problemi: Galois grubunun her sonlu grubu, rasyonellerin bir Galois uzantısı mıdır?
* Hangi pozitif *m*, *n* sayıları için serbest Burnside grubu B(m, n) sonludur? Özellikle, B(2,5) sonlu mudur?
* Her grup surjunctiv midir?
* Andrews–Curtis varsayımı
* Erzog–Schönheim varsayımı
* Genelleştirilmiş ay ışığı var mıdır?

### [[Model teorisi|Modeller Kuramı]]
* Vaught varsayımı
* Cherlin–Zilber varsayımı: Birinci dereceden kuramda \aleph_0'da kararlı olan basit bir grup, cebirsel olarak kapalı bir alan üzerinde basit bir cebirsel gruptur.
* Main Gap varsayımı, örneğin hesaplanamaz birinci dereceden teoriler, soyut temel sınıflar ve sayılabilir teorilerin \aleph_1-doymuş modelleri için.
* Keisler'ın düzeninin yapısını belirle
* Stabil saha varsayımı: bir istikrarlı birinci derece teori ile her sonsuz alan ayrı ayrı kapalıdır.
* Laurent serisinin alan teorisi \scriptstyle\mathbb{Z}_p zerinde kararlı mıdır? \scriptstyle\mathbb{C} üzerindeki polinom alanlarında?
* (BMTO) Gerçek düzendeki Borel monadik teorisi öngörülebilir mi? (MTWO) İyi düzenin monadik teorisi tutarlı bir şekilde öngörülebilir mi?
* Basit kuramlar için Durağan Çatışma Varsayımı
* Hilbert'in onuncu problemi hangi sayı alanlarına ait?
* K sayısını, sayısal olarak çok sayıda türü atlayarak sayılabilir bir birinci dereceden teori modellerinin sınıfı olduğunu varsayalım. K'nın bir  kardinallik \aleph_{\omega_1} modeli varsa, kardinalite sürekliliği modeline sahip midir?
* Shelah'ın olası kategori varsayımı: Her kardinal \lambda için \mu(\lambda) vardır, böylece *soyut temel sınıf*  LS (K) \lambda, \mu(\lambda) üzerinde kategoriktir ve \mu(\lambda) tüm kutularda kategoriktir.
* Shelah'ın L_{\omega_1,\omega} için kategoriklik varsayımı: Hanf nsayısının üzerinde bir kategorik hüküm varsa Hanf sayısının üstündeki tüm kardinaller de kategoriktir.
* Hem Beth özelliğini hem de Δ-enterpolasyonunu tatmin eden, ancak kompresörlü enterpolasyon özelliğini karşılamayan bir L mantığı var mıdır?
* Tam bir birinci mertebeden teorinin atom modelleri sınıfı \aleph_nkategorik ise, her kardinal kategoriktir?
* Karakteristik sıfırın her sonsuz, asgari alanı cebirsel olarak kapalı mıdır? (asgari=uygun temel altyapı olmayan)
* Kueker vasrayımı
* Üstün-üstel (hızlı büyüme) fonksiyona sahip o-minimal bir birinci dereceden teori var mıdır?
* Lachlan karar problemi
* Sınırlı bir ilişkisel dil için sonlu olarak sunulan homojen yapı sonlu sayıda indirgemeye mi sahiptir?
* Henson grafikleri sonlu model mülkiyetine sahip midir? (Örneğin, üçgensiz grafikler)
* C içermeyen grafikler için evrensellik problemi: Hangi sınırlı set C grafiği C içermeyen sayılabilir grafikler sınıfının güçlü gömülmeleri altında evrensel bir üyesi vardır?
* Evrensellik spektrum problemi: Evrensellik tayfı minimum olan bir birinci dereceden teori var mıdır?

### [[Sayılar teorisi|Sayılar Teorisi]]
#### Genel
* Grand Riemann hipotezi
** Genelleştirilmiş Riemann hipotezi
*** Riemann hipotezi
* ''n'' varsayımı
** ''abc'' varsayımı (2012'de iddia edilmiştir, şu anda inceleniyor.)
* Hilbert'in dokuzuncu problemi
* Hilbert'in on birinci problemi
* Hilbert'in on ikinci problemi
* Carmichael totient fonksiyonu varsayımı
* Erdős–Straus varsayımı
* Pillai varsayımı
* Hall varsayımı
* Lindelöf hipotezi
* Montgomery'nin çift korelasyon varsayımı
* Hilbert–Pólya varsayımı
* Grimm varayımı
* Leopoldt varsayımı
* Herhangi bir tek mükemmel sayı mevcut mudur?
* Sonsuz sayıda mükemmel sayı var mıdır?
* Yarı mükemmel sayılar var mıdır?
* Herhangi bir tek garip sayı mevcut mudur?
* Herhangi bir Lychrel sayı mevcut mudur?
* 10, bir yalnız sayı mıdır?
* Alikot dizileri üzerinde Katalan-Dickson varsayımı
* *n* > 1 için herhangi bir Taxicab(5, 2, n) var mıdır?
* Brocard problemi: *n* 4, 5, 7'den farklı olmak üzere *n*!&nbsp;+&nbsp;1&nbsp;=&nbsp;*m*2 eşitliğini saylayan (*n*,*m*) tam sayılarının varlığı
* Beilinson varsayımı
* Littlewood varsayımı
* Szpiro varsayımı
* Vojta varsayımı
* Goormaghtigh varsayımı
* Uyumlu sayı problemi (her Tunnell teoremi için, Birch ve Swinnerton-Dyer varsayımının bir doğal sonucu olarak)
* Lehmer totient problemi: Eğer φ(*n*) * n *- 1'e bölünürse, * n * asal olmalı mıdır?
* Sonsuz sayıda arkadaş sayı var mıdır?
* Zıt eşi bulunan herhangi bir arkadaş sayı çifti mevcut mudur?
* [Aralarında asal] arkadaş sayı çifti var mıdır?
* Sonsuz sayıda yarı arkadaş sayı var mıdır?
* Aynı benzerliğe sahip herhangi yarı arkadaş sayı çifti var mıdır?
* Gauss dairesel problemi: Orijin merkezli bir daire içindeki tam sayı noktalarının sayısı dairenin alanından ne kadar uzakta olabilir?
* Piltz bölen problemi, özellikle Dirichlet bölen problemi
* Üs çifti varsayımı
* *π*, bir normal sayı mıdır (rakamları "rastgele")
* Casas-Alvero varsayımı
* Sato-Tate varsayımı
* De Bruijn-Newman sabitinin değerini bulun
* Hangi tam sayı üç mükemmel küpün toplamı olarak yazılabilir?
* Erdős–Moser problemi: Erdős-Moser denkleminin tek çözümü 11 + 21 = 31 midir?

#### [[Katma sayı teorisi]]
* Beal varsayımı
* Fermat-Catalan varsayımı
* Goldblach varsayımı
* Waring problem'indeki *g*(*k*) and *G*(*k*) değerleri
* Collatz varsayımı (3*n*+1 varsayımı)
* Lander, Parkin ve Selfridge varsayımı
* Gilbreath varsayımı
* Ardışık ilerlemeler üzerine Erdős varsayımı
* Katkı bazlı Erdős-Turán varsayımı
* Pollock oktahedral sayılar varsayımı
* Skolem problemi
* *r**k*(*N*) büyüme oranını belirleme (bkz. Szemerédi teoremi)
* Minimum kaplama problemi

#### [[Cebirsel sayı teorisi]]
* Eşsiz çarpanlara sahip sonsuz sayıda gerçek ikinci derece sayı alanı var mı (Sınıf numarası problemi)
* Bazı güç temeline sahip tüm cebirsel sayı alanlarını karakterize edin.
* Stark varsayımı (Brumer-Stark varsayımı dahil)
* Kummer-Vandiver varsayımı

#### [[Kombinatoryal sayı teorisi]]
* Singmaster varayımı: Pascal üçgeninde 1'den farklı bir sayının kaç kez görünebileceği konusunda sınırlı üst sınır var mı?

#### [[Asal sayı]]lar
* Catalan'ın Mersenne varsayımı
* Agoh-Giuga varsayımı
* Gaussian hendek problemi: dizideki ardışık sayıların arasındaki fark sınırlanacak şekilde farklı Gaussian asal sayılarının sonsuz bir dizisini bulmak mümkün müdür?
* Yeni Mersenne varsayımı
* Erdős–Mollin–Walsh varsayımı
* Sonsuz sayıda dördüz asal var mıdır?
* Sonsuz sayıda kuzen asal var mıdır?
* Sonsuz sayıda seksi asal var mıdır?
* Sonsuz sayıda Mersenne asalı (Lenstra—Pomerance—Wagstaff varsayımı); eşdeğer olarak, sonsuz sayıda çift mükemmel sayı var mıdır?
* Sonsuz sayıda Wagstaff asalı var mıdır?
* Sonsuz sayıda Sophie Germain asalı var mıdır?
* Sonsuz sayıda Pierpont asalı var mıdır?
* Sonsuz sayıda düzenli asalı var mıdır, varsa, nispi yoğunluğu e^{-1/2} midir?
* Mükemmel güç ve −4*k*4 formunun sayıları haricinde, her üs için sonsuz sayıda yeniden birleştirme asalı var mıdır?
* Sonsuz sayıda Cullen asalı var mıdır?
* Sonsuz sayıda Woodall asalı var mıdır?
* Her üs için sonsuz sayıda palondromik asal var mıdır?
* Sonsuz sayıda Fibonacci asalı var mıdır?
* Sonsuz sayıda Lucas asalı var mıdır?
* Sonsuz sayıda Pell asalı var mıdır?
* Sonsuz sayıda Newman—Shanks—Williams asalı var mıdır?
* Ana dizindeki tüm Mersenne sayıları kare içermeyen tam sayı mıdır?
* Sonsuz sayıda Wieferich asalı var mıdır?
* Üs 47 için herhangi bir Wieferich asalı var mıdır?
* 2*c* − 1 ≡ 1 (mod *c*2) karşılayan herhangi bir bileşik c var mı?
* Herhangi bir verilen tam sayı *a* > 0 için, a*a**p*− 1 ≡ 1 (mod *p*2)? gibi sonsuz *p* asal sayısı var mıdır?
* 2*p*&nbsp;−&nbsp;1 ≡ 1 (mod *p*2) ve 3*p*&nbsp;−&nbsp;1&nbsp;≡&nbsp;1&nbsp;(mod&nbsp;*p*2) denklemlerini karşılayan *p* eşzamanlı mıdır?
* Sonsuz sayıda Wilson asalı var mıdır?
* Sonsuz sayıda Wolstenholme asalı var mıdır?
* Sonsuz sayıda Wall—Sun—Sun asalı var mıdır?
* Her 22*n*&nbsp;+&nbsp;1 Fermat sayısı n > 4 için bileşik midir?
* Bütün Fermat sayıları kare içermeyen tam sayı mıdır?
* Bir kare olmayan ve -1'e eşit olmayan herhangi bir *a* tam sayısı için, ilkel bir kök olarak *a* ile sonsuz çok asal var mıdır?
* İlkel kökler üzerine Artin varsayımı
* 78.557, en küçük Sierpiński sayısı mıdır (Selfridge varsayımı olarak bilinir)?
* 509.203, en küçük Riesel sayısı mıdır?
* Fortune varsayımı (hiçbir Fortunate sayısı bileşik değildir)
* Landau problemi
* Feit—Thompson varsayımı
* Her asal sayı Öklid—Mullin dizisi içinde yer alır mı?
* Wolstenholme teorisinin tersi tüm doğal sayılar için geçerli midir?
* Elliott—Halberstam varsayımı
* Linnik teoremi ile ilgili problemler
* En küçük Skewes sayısını bulun

### [[Kısmi diferansiyel denklem]]ler
* Vlasov-Maxwell denklemlerinin çözümlerinin düzenliliği
* Euler denklemlerinin çözümlerinin düzenliliği

### [[Ramsey teorisi]]
* Ramsey sayılarının değerleri, özellikle R(5, 5)
* Van der Waerden sayılarının değerleri
* Erdős–Burr varsayımı

### [[Kümeler teorisi|Kümeler kuramı]]
* Bütün büyük kardinalleri içeren nihai çekirdek modeli bulma problemi.
* Eğer ℵω kuvvetli limit kardinal ise, 2ℵω ω1 (bkz. Tekil kardinal hipotezi). En iyi tahmin, ℵω4, Saharon Shelah tarafından [PCF teorisi ile gerçekleştirildi.
* Woodin'in Ω-hipotezi.
* Güçlü kompakt kardinal varlığının tutarlılığı süper kompakt kardinalin tutarlı varlığı anlamına gelir mi?
* Woodin, kuvvetli bir kompakt kardinalin altında Genelleştirilmiş Süreklilik Hipotezi, Genelleştirilmiş Süreklilik Hipotezi'nin her yerde olduğunu gösteriyor mu?
* ℵω üzerinde bir Jónsson cebri var mıdır?
* Seçim aksiyomu varsayılmadan, *V*→*V* şeklinde bir *nontrivial* temel yerleştirme var olabilir mi?
* Genelleştirilmiş Süreklilik Hipotezi, her düzenli nicel \lambda için {\diamondsuit(E^{\lambda^+}_{\operatorname{cf}(\lambda)}})'a yol açar mı?
* Genelleştirilmiş Süreklilik Hipotezi ℵ<sub>2</sub>-Suslin ağacının varlığını gösterir mi?

### Diğer
* İstatistikte çözülememiş problemler listesi
* Bilgisayar biliminde çözülememiş problemler listesi
* Halka teorisi ve yarıgrup teorisindeki problemler
* Latin karelerdeki problemler
* Değişken alt uzay problemi
* Kaplansky'nin gruplar halkaları hakkındaki varsayımları
* Painlevé varsayımı
* Dixmier varsayımı
* Baum—Connes varsayımı
* Novikov varsayımı
* Benzersiz temel hücresel otomatların tümü için Turing bütünlüğünü kanıtlayın
* Çeşitli küre dolgu sorunları, örneğin, en yoğun düzensiz hiperküre dolguları
* Kapalı eğri problemi: Aynı periyotla iki periyodik fonksiyon verildiğinde integral eğrisinin kapatıldığını belirten gerekli ve yeterli şartları bulunuz.
* Keating—Snaith varsayımı
* Kung—Traub varsayımı
* Yapılandırmalar üzerine Atiyah varsayımı
* Toeplitz varsayımı (1911'den beri açık)
* Carathéodory varsayımı
* Church—Turing tezi
* Ağırlık-monodromi varsayımı
* Berry—Tabor varsayımı
* Birkhoff varsayımı
* Guralnick—Thompson varsayımı
* Hilbert—Smith varsayımı
* MNOP varsayımı
* Mazur varsayımı
* Rendezvous problemi
* Scholz varsayımı
* Nirenberg—Treves varsayımı
* Kuantum benzersiz ergodisite varsayımı
* Yoğunluk hipotezi
* Zhou varsayımı
* Borel varsayımı
* Zeeman varsayımı
* Erdös–Ulam problemi

## 1995'ten beri çözülen problemler
* Boolean Pisagor üçlüsü problemi (Marijn Heule, Oliver Kullmann, Victor Marek, 2016)
* Babai problemi (Cayley grafiklerinin spektrumundaki 3.3 problemi) (A. Abdollahi, M. Zallaghi, 2015)
* Vinogradov'un ortalama değer teoremindeki temel varsayım (Jean Bourgain, Ciprian Demeter, Larry Guth, 2015)
* Erdős tutarsızlık problemi (Terence Tao, 2015)
* Umbral ayışığı varsayımı (John F. R. Duncan, Michael J. Griffin, Ken Ono, 2015)
* Anderson varsayımı (Cheeger, Naber, 2014)
* Goldbach'ın zayıf varsayımı (Harald Helfgott, 2013)
* Kadison–Singer problemi (Adam Marcus, Daniel Spielman ve Nikhil Srivastava, 2013) (ve Feichtinger varsayımı, Anderson'un döşeme varsayımları, Weaver'in tutarsızlık teoremi KS_r ve KS'_r varsayımları, Bourgain-Tzafriri varsayımı ve R_\epsilon-varsayımı)
* Sanal Haken varsayımı (Agol, Groves, Manning, 2012) (ve Wise'ın çalışmaları, ayrıca sanal elyaf varsayımı)
* Hsiang–Lawson varsayımı (Brendle, 2012)
* Willmore varsayımı (Fernando Codá Marques ve André Neves, 2012)
* Ehrenpreis varsayımı (Kahn, Markovic, 2011)
* Hanna Neumann conjecture (Mineyev, 2011)
* Bloch–Kato varsayımı (Voevodsky, 2011) (ve Quillen–Lichtenbaum varsayımı ve Geisser ve Levine'in çalışmaları (2001) ayrıca Beilinson–Lichtenbaum varsayımı)
* Erdős farklı mesafeler problemi (Larry Guth, Netz Hawk Katz, 2011)
* Yoğunluk teoremi (Namazi, Souto, 2010)
* Hirsch varsayımı (Francisco Santos Leal, 2010)
* Sidon dizi problemi (J. Cilleruelo, I. Ruzsa ve C. Vinuesa, 2010)
* Atiyah varsayımı (Austin, 2009)
* Kauffman–Harary varsayımı (Matmann, Solis, 2009)
* Surface subgroup varsayımı (Kahn, Markovic, 2009)
* Scheinerman'ın varsayımı (Jeremie Chalopin ve Daniel Gonçalves, 2009)
* Tam sonlu basit grupların sınıflandırılması (Harada, Solomon, 2008)
* Geometriyasyon varsayımı (2008'de Morgan ve Tian tarafından kanıtlar tamamlandı  ve bu çalışma çoğunlukla Grigori Perelman'ın 2002'deki eserine dayanıyor)
* Serre modülerlik tahmini (Chandrashekhar Khare ve Jean-Pierre Wintenberger, 2008)
* Heterojen döşeme varsayımı (düzlemi kareleme)(Frederick V. Henle ve James M. Henle, 2008)
* Erdős–Menger varsayımı (Aharoni, Berger 2007)
* Yol renklendirm varsayımı (Avraham Trahtman, 2007)
* Melek problem (Çeşitli bağımsız kanıtlar, 2006)
* Lax varsayımı (Lewis, Parrilo, Ramana, 2005)
* Langlands–Shelstad temel lemması (Ngô Bảo Châu ve Gérard Laumon, 2004)
* Tameness varsayımı ve Ahlfors ölçüm varsayımı (Ian Agol, 2004)
* Robertson–Seymour teoremi (Robertson, Seymour, 2004)
* Stanley–Wilf varsayımı (Gábor Tardos ve Adam Marcus, 2004) (ve ayrıca  Alon–Friedgut varsayımı)
* Green–Tao teoremi (Ben J. Green ve Terence Tao, 2004)
* Sonlanan laminasyon teoremi (Jeffrey F. Brock, Richard D. Canary, Yair N. Minsky, 2004)
* Carpenter kural problemi (Connelly, Demaine, Rote, 2003)
* Cameron–Erdős varsayımı (Ben J. Green, 2003, Alexander Sapozhenko, 2003)
* Milnor varsayımı (Vladimir Voevodsky, 2003)
* Kemnitz varsayımı (Reiher, 2003, di Fiore, 2003)
* Nagata varsayımı (Shestakov, Umirbaev, 2003)
* Kirillov varsayımı (Baruch, 2003)
* Poincaré varsayımı (Grigori Perelman, 2002)
* Güçlü mükemmel grafik varsayımı (Maria Chudnovsky, Neil Robertson, Paul Seymour ve Robin Thomas, 2002)
* Kouchnirenko varsayımı (Haas, 2002)
* Vaught varsayımı (Knight, 2002)
* Çift kabarcık varsayımı (Hutchings, Morgan, Ritoré, Ros, 2002)
* Catalan varsayımı (Preda Mihăilescu, 2002)
* ''n''! varsayımı (Haiman, 2001) (ve ayrıca Macdonald pozitiflik varsayımı)
* Kato varsayımı (Auscher, Hofmann, Lacey, McIntosh ve Tchamitchian, 2001)
* 1-neden üzerine Deligne varsayımı (Luca Barbieri-Viale, Andreas Rosenschon, Morihiko Saito, 2001)
* Modülerlik teoremi (Breuil, Conrad, Diamond ve Taylor, 2001)
* Erdős–Stewart varsayımı (Florian Luca, 2001)
* Berry–Robbins problemi (Atiyah, 2000)
* Erdős–Graham problemi (Croot, 2000)
* Honeycomb varsayımı (Thomas Hales, 1999)
* Gradient varsayımı (Krzysztof Kurdyka, Tadeusz Mostowski, Adam Parusinski, 1999)
* Bogomolov varsayımı (Emmanuel Ullmo, 1998, Shou-Wu Zhang, 1998)
* Lafforgue teoremi (Laurent Lafforgue, 1998)
* Kepler varsayımı (Ferguson, Hales, 1998)
* Dodecahedral varsayımı (Hales, McLaughlin, 1998)
* Ganea varsayımı (Iwase, 1997)
* Torsion varsayımı (Merel, 1996)
* Harary varsayımı (Chen, 1996)
* Fermat'nın son teoremi (Andrew Wiles ve Richard Taylor, 1995)

## Kaynakça

## Konuyla ilgili yayınlar

### Yakın zamanda çözülmüş sorunları tartışan kitaplar

*  
* 
*  
* 

### Çözülmemiş sorunları tartışan kitaplar
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 

## Dış bağlantılar
* 
* 
* 
* 
*  
* 
* 
* 
* 
* 
*  
* 
* 
* 
* 
* 
* 
* 
*