الذكاء الاصطناعي الخاص بـ OpenAI يدحض حدسية إيردوس البالغة من العمر 80 عاماً (2026)

[أليكس]: أهلاً بكم من جديد في نيردو البودكاست الذكي، البودكاست اللي بنتعمق فيه في القصص اللي بتعيد تشكيل العالم في هدوء. أنا أليكس، "المفسر العام" المقيم معاكم.

[جيمي]: وأنا جيمي، شريكتكم الفضولية في التقديم—موجودة هنا عشان أضمن إن أليكس ميسرحش بينا بعيد في بلاد الرياضيات لدرجة إننا نحتاج حبل إنقاذ. [تضحك] النهاردة، بنتكلم عن حاجة تبدو وكأنها مانشيت من فيلم خيال علمي: ذكاء اصطناعي من OpenAI لسه متبت إن حدسية رياضية عمرها 80 سنة غلط. ومش أي حدسية—حدسية إيردوس للمسافات الموحدة. أليكس، أنا نطقت الاسم صح؟

[أليكس]: بالظبط! إيردوس، نسبة لـ بول إيردوس، عالم الرياضيات الأسطوري اللي كان بيجمع المسائل الرياضية غير المحلولة زي كروت البوكيمون. ومسألة "المسافة الموحدة" دي؟ هي واحدة من المسائل الجميلة اللي "سهلة لدرجة إن طفل يفهمها، وصعبة لدرجة إن مفيش عالم رياضيات عرف يحلها".

[جيمي]: تمام، اشرحها لي كأني عندي خمس سنين. إيه هي المسألة دي بالظبط؟

[أليكس]: تخيلي ده: عندك مجموعة نقط—خلينا نقول على منديل في كافيه، لأن ده المكان اللي بتحصل فيه أحلى رياضيات. السؤال هو، لأي عدد من النقط، إيه هو أكبر عدد من الأزواج اللي تقدري تعمليها وتكون المسافة بينهم وحدة واحدة بالظبط؟ يعني حرفياً، كام زوج من النقط ممكن يكون بينهم مسافة بوصة واحدة؟

[جيمي]: يعني لو حطيت تسع نقط في خط مستقيم، هحصل على تمان أزواج المسافة بينهم بوصة واحدة، صح؟

[أليكس]: بالظبط، بس لو رتبتي التسع نقط دول في شبكة تلاتة في تلاتة—زي لوحة "إكس أو"—تقدري فعلياً تحصلي على 12 زوج المسافة بينهم بوصة. الشبكة بتدي نتيجة أحسن. بس هنا بقى التحدي: إيه اللي يحصل لما يكون عندك مليون نقطة؟ أو مليار؟

[جيمي]: أتوقع إن الموضوع مش مجرد لوحة "إكس أو" أكبر.

[أليكس]: صح. إيردوس لقى طريقة ذكية لتوزيع الشبكة، بحيث إنك كل ما تزودي نقط، تحصلي على أزواج أكتر بشوية صغيرة من المتوقع. وبعدين قدم ادعاء جريء: إن مفيش حد هيقدر أبداً يحقق نتيجة أحسن بفرق جوهري من ترتيب الشبكة بتاعه. وده بقى "حدسية إيردوس للمسافات الموحدة". ولمدة 80 سنة تقريباً، مفيش حد قدر يكسر الرقم ده.

[جيمي]: لحد دلوقتي—شغلي الموسيقى الدرامية! طيب، إيه اللي عمله الذكاء الاصطناعي بتاع OpenAI فعلياً؟ هل مجرد جرب مليون تشكيلة بالقوة الغاشمة، ولا كان موضوع أرقى من كده؟

[أليكس]: أرقى بكتير. OpenAI استخدمت نموذج استدلال عام—حتى مكنش ذكاء اصطناعي متخصص في الرياضيات. أدوله أمر واحد: "هل حدسية إيردوس صحيحة أم خاطئة؟" وهو ببساطة... بدأ يشتغل. من غير تدريب خطوة بخطوة، ومن غير مساعدة.

[جيمي]: استنى، يعني مكنش زي AlphaProof بتاع DeepMind اللي مبني مخصوص للرياضيات؟

[أليكس]: لأ، خالص. ده كان نموذج تجريبي لسه منزلش. تخيلي ترمي مكعب روبيك لحد وهو يخترع طريقة جديدة يحله بيها وهو مغمى عينيه. الذكاء الاصطناعي أنتج سلسلة استدلال من 125 صفحة—زي رواية "الحرب والسلام" بس في براهين الرياضيات. [يضحك]

[جيمي]: أرجوك قولي إن فيه حد قرأ الـ 125 صفحة دول كلهم.

[أليكس]: أوه، قرأوهم فعلاً. OpenAI بعتت البرهان لتسع علماء رياضيات مستقلين—منهم تيم غاورز الحاصل على وسام فيلدز. قضوا شهور فعلاً بيراجعوا الشغل، وبعدين نشروا ورقة بحثية مرافقة بتأكد صحته. يعني ده مش مجرد بروباجندا للذكاء الاصطناعي—ده علم رياضيات مراجع من قبل الأقران.

[جيمي]: مذهل. بس الذكاء الاصطناعي لقى إيه بالظبط؟ هل أثبت إن إيردوس كان غلط تماماً؟

[أليكس]: مش "تماماً"—هو ملقاش أحسن ترتيب مطلق، بس لقى ترتيب بيكسب الشبكة بفرق حقيقي وملموس. إيردوس كان فاكر إنك مستحيل تعمل نتيجة أحسن بأكتر من شعرة. الذكاء الاصطناعي أثبت إنك تقدر تعمل نتيجة أحسن بفرق "حدودي" (polynomial). دي قفزة ضخمة.

[جيمي]: فرق حدودي؟ بالنسبة للي زينا اللي سقطوا في التفاضل والتكامل، ده معناه إيه؟

[أليكس]: [يضحك] معناه إن التحسن بيكبر بسرعة أكبر بكتير كل ما تزودي نقط. بدل ميزة صغيرة تكاد لا تُذكر، بتحصلي على تفوق قوي وبيكبر. الشبكة مبقتش هي الملك خلاص.

[جيمي]: طيب، هل ده معناه إن الذكاء الاصطناعي دلوقتي بقى أشطر في الرياضيات من كل البشر؟

[أليكس]: مش عايز أسلم وسام فيلدز دلوقتي. الذكاء الاصطناعي عمل حاجة غريبة: استخدم نظرية الأعداد الجبرية. ده جزء من الرياضيات مكنش ليه أي علاقة بالمسألة دي لحد دلوقتي. بدل ما يرتب النقط على سطح مستوي، اختار نقط هي حلول لمعادلات جبرية معقدة—وبعدين أسقطها على بعدين.

[جيمي]: يعني زي أوريجامي الرياضيات؟ طي أبعاد أعلى في صفحة مسطحة؟

[أليكس]: ده... في الواقع تشبيه مثالي. إلا إن الترتيبات دي معقدة لدرجة إنك متقدريش حتى ترسميها على ورق، حتى لعدد صغير من النقط.

[جيمي]: يعني البرهان ده أقرب لـ "صدقني، الحسابات طالعة صح"، أكتر من "خليني أرسمها لك على منديل".

[أليكس]: بالظبط. والذكاء الاصطناعي استخدم أدوات رياضية تقيلة—حاجات زي "أبراج حقول الأصناف" ونظرية "جولود-شافاريفيتش". أدوات موجودة من عقود، بس مفيش حد فكر يربطها بالمسألة دي.

[جيمي]: طيب، سؤال صريح: OpenAI كان ليها قبل كده إعلانات، ممم، حماسية زيادة عن اللزوم. إزاي نعرف إن ده مش مجرد ادعاء رياضي تاني منفوخ للذكاء الاصطناعي؟

[أليكس]: نقطة ممتازة. في 2025، نائب رئيس OpenAI كتب تويتة إن GPT-5 "حل" مجموعة من مسائل إيردوس—بس اتضح إن GPT-5 مجرد لقى حلول موجودة أصلاً مكنتش في قاعدة بيانات شخص معين. مش حاجة تهز العالم يعني. والبوست ده اتمسح بسرعة.

[جيمي]: يا ساتر. علماء الرياضيات ميهزروش مع قواعد البيانات بتاعتهم.

[أليكس]: لأ، ميهزروش. [يضحك] بس المرة دي الموضوع مختلف. مش بس خبراء مستقلين راجعوا البرهان، لكن نفس عالم الرياضيات اللي انتقد OpenAI المرة اللي فاتت، توماس بلوم، هو دلوقتي مؤلف مشارك في ورقة التأكيد. ده أقرب حاجة ممكن تشوفيها لمعاهدة سلام في عالم الرياضيات.

[جيمي]: بحب قصص العودة للحق دي. طيب، هل دي فعلاً أول مرة الذكاء الاصطناعي يحل مسألة رياضية مفتوحة وكبيرة؟

[أليكس]: بصي، OpenAI حذرين في كلامهم. بيقولوا إنها "المرة الأولى اللي يحل فيها ذكاء اصطناعي بشكل مستقل مسألة مفتوحة بارزة ومركزية في مجال من مجالات الرياضيات". كان فيه طفرات للذكاء الاصطناعي قبل كده—ذكاء DeepMind كسب ميداليات في أولمبياد الرياضيات، وحتى حسن بعض الحدود المفتوحة في الهندسة. بس دي كانت إما مسائل مسابقات أو اعتمدت على توجيه بشري مكثف.

[جيمي]: يعني دي أول مرة ذكاء اصطناعي ياخد أمر واحد مفتوح، وينطلق لوحده، ويحل مسألة حقيقية ومشهورة وغير محلولة؟

[أليكس]: بالظبط. والأهم من كده، إنه مكنش ذكاء اصطناعي متخصص في الرياضيات. هو بس... استنتج طريقه وسط الغابة.

[جيمي]: تمام، بس قد إيه من البرهان كان "سحر ذكاء اصطناعي" وقد إيه كان "بشر بينظفوا ورا كركبة الذكاء الاصطناعي"؟

[أليكس]: [يضحك] بصراحة؟ شوية من ده وشوية من ده. المخرجات الخام للذكاء الاصطناعي تم تحريرها وتنظيمها من قبل علماء رياضيات عشان تكون صالحة للنشر. وزي ما توماس بلوم قال: "الإنسان لسه بيلعب دور حيوي في مناقشة وهضم وتحسين البرهان ده". هو تعاون، مش تسليم وتسلم.

[جيمي]: طيب، هل علماء الرياضيات المفروض يقلقوا على وظايفهم؟ ولا إحنا قدام المساعد البحثي المثالي؟

[أليكس]: أقول إنها التانية أكتر. القصة الحقيقية هنا هي عن الممكن لما نماذج الذكاء الاصطناعي تقدر تربط سلاسل استدلال طويلة وعابرة للتخصصات. إحنا لسه في البداية، بس في المستقبل، ممكن نشوف الذكاء الاصطناعي بيساعد في حل مشاكل في البيولوجيا، الفيزياء، وحتى الطب—مش بس ألغاز الرياضيات.

[جيمي]: لحد ما ده يحصل، أنا هخليك في رسم النقط على المناديل. [تضحك] بس بجد، الموضوع ده مذهل. فيه أي حاجة تانية المستمعين لازم يعرفوها؟

[أليكس]: بس إن دي علامة فارقة، مش المحطة الأخيرة. لسه فيه مساحة كبيرة للبشر—والذكاء الاصطناعي—إنهم يتعاونوا ويحلوا التحدي الكبير الجاي. وزي دايماً، من المفيد قراءة التفاصيل الصغيرة ورا العناوين الكبيرة.

[جيمي]: طيب، دي كل دراما الرياضيات النيردي اللي عندنا النهاردة. شكراً لمتابعتكم نيردو البودكاست الذكي. لو عجبكم الحلقة، سيبوا لنا تقييم، وشاركوها مع أصحابكم اللي بيحبوا الرياضيات، أو ابعتوا لنا حدسياتكم اللي على المناديل.

[أليكس]: هنرجع لكم قريب بقصص أكتر من حدود الذكاء الاصطناعي. لحد وقتها، خلوا النقط بتاعتكم بعيد عن بعض بوحدة واحدة على الأقل—وخلوا فضولكم أقرب.

[جيمي]: سلام يا جماعة!

[أليكس]: نشوفكم على خير!