Mat 1'de zor olarak kabul edilen bazı sorular şunlardır: 1. Fermat'nın Son Teoremi: x3 + y3 = z3 denkleminin çözümünün olmadığını kanıtlamak. 2. Poincaré Sanısı: 4 boyutlu uzayda en basit şeklin 4 boyutlu bir küreye eş değer olduğunu göstermek. 3. Dört Renk Teoremi: Bir haritayı 4 farklı renge boyamanın mümkün olup olmadığını belirlemek. 4. Süreklilik Hipotezinin Bağımsızlığı: Reel sayıların sonsuzluk boyutunun, doğal sayıların sonsuzluk boyutundan daha büyük olup olmadığını kanıtlamak. 5. 5. Dereceden Polinomların Çözümü: 5. dereceden ve üzeri polinomların kapalı formda çözümünün mümkün olmadığını göstermek.