Çö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.

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.

(Euler-Mascheroni sabiti),  + e,  − e, e, /e, e, √, , e2, ln , 2e, ee, 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?

Yalnız koşucu varsayımı: eğer çift hızlardaki 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 uzaklıkta olmalı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?

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?

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.

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?

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?

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?

Cherlin–Zilber varsayımı: Birinci dereceden kuramda 'da kararlı olan basit bir grup, cebirsel olarak kapalı bir alan üzerinde basit bir cebirsel gruptur.

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 modeli varsa, kardinalite sürekliliği modeline sahip midir?

Shelah'ın olası kategori varsayımı: Her kardinal için vardır, böylece soyut temel sınıf LS (K) <= , üzerinde kategoriktir ve tüm kutularda kategoriktir.

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?

Herhangi bir verilen tam sayı a > 0 için, aap− 1 ≡ 1 (mod p2)? gibi sonsuz p asal sayısı var 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?

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.