نحن نعلم أن عملية التحقق من كون عدد هو أولي أم لا من خلال خوارزمية تتحقق من عدم وجود قواسم صحيحة للعدد

وهذه الخوارزمية مع شكلها الأخير بعد تحسينها عن الطريقة الاعتيادية وهي تجربة قسمة العدد على الأعداد التي تقع قبله

إلا أنها تبقى خوارزمية ذات تعقيد كبير لأنه مع كبر العدد تصبح بحاجة إلى زمن كبير جدا

وقد جرت محاولات لاستخلاص خوارزمية بسيطة أو إيجاد معادلة أو علاقة تساعد على التحقق ولكن دون جدوى

وفقط الذي حصل هو تسجيل كل الأعداد الأولية التي تم التوصل إليها حتى آخر لحظة

بالإضافة لبعض القواعد التي تثبت عدم أولية العدد ولكن لا تصلح للعكس

فمثلا نعلم أن العدد إن كان أحاده زوجيا فهو ليس أولي لأنه من مضاعفات 2 ولكن لو كان فرديا فهذا لا يعني أنه أولي ويحتاج إلى اثبات

والسؤال : هل ثبت بالبراهين استحالة وجود قاعدة عامة تصلح لأي عدد أم أنه فقط كل المحاولات لم تصل إلى نتيجة ومازال البحث مستمراً ؟