Dianggarkan terdapat suku juta teorem telah dibuktikan setiap tahun.[5] Pengelasan kumpulan ringkas terbatas dianggap oleh sesetengah pihak sebagai bukti terpanjang bagi teorem; ia terdiri dari sepuluh ribu muka surat dalam 500 artikel jurnal oleh beberapa orang penulis. Kesemua kertas kerja ini dipercayai memberi bukti yang lengkap, dan terdapat beberapa projek yang sedang dijalankan untuk memendekkan dan meringkaskan bukti ini.[6] Teorem lain dalam jenis ini ialah teorem empat warna janaan komputer yang terlalu panjang untuk dibaca oleh manusia. Walaupun ia merupakan bukti teorem yang sangat panjang, pernyataannya boleh difahami dengan mudah oleh orang biasa.