25/05/2026
نموذج تفكير من OpenAI دحض حدسية رياضية مفتوحة منذ ثمانين سنة، وهذا ليس عنواناً تسويقياً.
في العشرين من أيار 2026 أعلنت OpenAI أن نموذجاً عاماً من نماذج التفكير لديها قدّم برهاناً يفنّد حدسية إردوس في مسألة مسافة الوحدة، تلك المسألة التي طرحها الرياضي بول إردوس عام 1946 وبقيت مفتوحة طوال ثمانية عقود.
المسألة بسيطة في صياغتها: ضع نقاطاً على مستوٍ مسطّح، كم زوجاً من هذه النقاط يمكن أن تكون المسافة بينها مساوية تماماً لواحد؟ الحدسية افترضت أن شبكة مربّعة بسيطة هي الأقرب للحد الأمثل، وأن النمو لا يكاد يتجاوز الخطّي. النموذج ربط المسألة الهندسية بنظرية الأعداد الجبرية واستخدم أبراج حقول جولود-شافاريفيتش لبناء عائلة لا نهائية من النقاط تعطي مكسباً متعدّد الحدود، وهو ما عجز عنه أكبر العقول البشرية ثمانين سنة.
البرهان راجعه تسعة رياضيين خارجيين بينهم تيم غاورز الحاصل على ميدالية فيلدز، وتوماس بلوم الذي فضح ادعاءً سابقاً لـ OpenAI قبل سبعة أشهر ولكنه أيّد هذا البرهان، وويل سوين من جامعة برنستون الذي حسّن المكسب لاحقاً.
الأهم من الخبر ذاته أن هذا النموذج لم يُدرَّب للرياضيات، ولم يُعطَ مكتبة أدوات إثبات، ولم يُوجَّه نحو المسألة. أي أن قدرة التفكير العامة تكفي الآن لكتابة برهان يستحق أعلى المجلات الرياضية. الذكاء الاصطناعي دخل طاولة الباحثين كطرف ثالث حقيقي، لا كأداة مساعدة فحسب.
احفظ المنشور وأرسله لكل باحث أو مهندس أو طالب دراسات عليا.
—
