نظرية واضحة لكن لا أحد يستطيع إثباتها حتى الآن

• •تخمين غولدباخ يقول إن كل عدد زوجي أكبر من 2 هو مجموع عددين أوليين
• •صاغ هذه الفرضية العالم غولدباخ عام 1742 وبقيت دون إثبات حتى اليوم
• •جرّب العلماء مليارات الأرقام وصحّت النظرية في كل مرة، لكن هذا لا يُعدّ برهاناً
• •الفجوة بين البداهة الرياضية والبرهان الصارم تكشف عمق الرياضيات وتعقيدها

في الرياضيات، قد يبدو الشيء بديهياً وصحيحاً تماماً لكنه يظل بلا إثبات لقرون. هذا بالضبط ما يحدث مع تخمين غولدباخ الذي صاغه العالم الألماني في رسالة إلى أويلر عام 1742: كل عدد زوجي أكبر من 2 يمكن كتابته كمجموع عددين أوليين. مثلاً: 4=2+2، و6=3+3، و100=3+97. بسيط جداً.

لكن بساطة الصياغة تخفي صعوبة الإثبات الهائلة. فالأعداد الأولية تتوزع بطريقة فوضوية لا نمط واضحاً لها كلما اتجهنا نحو الأعداد الكبيرة، وهذا ما يجعل الإثبات العام مستعصياً. جرّب العلماء ببرامج الحاسوب مئات المليارات من الأعداد الزوجية ووجدوا التخمين صحيحاً في كل مرة، لكن هذا الاختبار التجريبي لا يُغني عن البرهان الرياضي.

بقاء هذا التخمين دون حل بعد 280 عاماً يعكس الطبيعة الغامضة للأعداد الأولية التي تحتل مكانة محورية في الرياضيات وتظل كنزاً من الأسرار. وقد عرضت مؤسسات عدة جوائز مالية ضخمة لمن يثبت أو ينقض التخمين، لكن حتى اللحظة لم يفلح أحد.