دعونا نوضح شيئًا واحدًا: فرضية ريمان، التي يمكن القول إنها أشهر مشكلة غير محلولة في الرياضيات، لا تزال غير محلولة اعتبارًا من سبتمبر 2026. لم يدع أي ذكاء اصطناعي الفوز بجائزة المليون دولار التي قدمها معهد كلاي للرياضيات. لكن ما حدث في أغسطس 2026 قد يكون أكثر أهمية مما لو كان الذكاء الاصطناعي قد قدم ببساطة إثباتًا. نسخة بحثية غير معلنة من نموذج Claude التابع لـ Anthropic حققت تقدمًا غير متوقع في حد رياضي مرتبط. حث Jarred Sumner، غير الرياضي في Anthropic، النموذج بطلب جريء: حاول بجدية إثبات فرضية ريمان. لم يستطع الذكاء الاصطناعي القيام بذلك. لم يتوقع أحد أن يتمكن من ذلك. ولكن أثناء استكشاف المشكلة على مدى يوم ونصف، حسّن Claude حدًا أدنى قديمًا ظل أفضل نتيجة بشرية لعقود. الحد المعني يقيس ما النسبة المئوية من الأصفار لدالة ريمان زيتا التي يُضمن أن تقع على الخط الحرج حيث تتنبأ الفرضية بأن جميعها يجب أن تكون. أثبت الرياضيون أن 41.6% على الأقل من هذه الأصفار تلبي الفرضية. دفع Claude هذا الرقم إلى 67.2%. للوصول إلى هناك، اختبر الذكاء الاصطناعي 650 نهجًا مختلفًا، ونسق حوالي 60 وكيلًا فرعيًا، وأجرى آلاف الفحوصات العددية، وكتب مئات من سكربتات بايثون، وبحث في 54 ورقة بحثية. وصف James Maynard، الرياضي في جامعة أكسفورد، النتيجة بأنها مثيرة للإعجاب حقًا، قائلًا إن المشكلة تحتاج إلى فكرة جديدة حقيقية، والتي يبدو أن نتيجة Claude تقدمها. ما يجعل هذا الأمر مثيرًا: كان الذكاء الاصطناعي في البداية متشككًا في اكتشافه، ربما لأنه تعلم من بيانات التدريب حول صعوبة المشاكل الرياضية المفتوحة وحدود نماذج الذكاء الاصطناعي. بعد بعض التحفيز من البشر، توصل إلى النتيجة الموثقة. قام رياضيان في Anthropic بالتحقق من ورقة Claude، وفحصها خبراء خارجيون Brian Conrey وDan Goldston في وقت قصير. كما أنتج Claude إثباتًا يمكن التحقق منه رسميًا باستخدام Lean، وهو نظام مساعد للإثبات يتحقق من الحجج الرياضية سطرًا بسطر. لم يكن هذا حادثًا معزولًا. شهد أغسطس 2026 نقطة تحول للذكاء الاصطناعي في الرياضيات. في 1 أغسطس 2026، أعلنت OpenAI أن Astra، نموذجها الداخلي، قد حل 10 مشاكل مفتوحة طويلة الأمد في الرياضيات وعلوم الحاسوب النظرية. في يوليو 2026، أثبت Levent Alpöge، رياضي في Anthropic، عدم صحة فرضية جاكوب باستخدام Claude Fable 5. سقطت مشاكل Erdős متعددة أمام نماذج الذكاء الاصطناعي طوال عام 2026. حقق نموذج Gemini Deep Think التابع لـ Google DeepMind ميدالية ذهبية في الأولمبياد الدولي للرياضيات لعام 2025 وأصدر نظام رياضي مساعد في مايو 2026 حقق 48% في FrontierMath Tier 4، وهي مشاكل مصممة لإرباك الذكاء الاصطناعي لعقود. تظهر سير العمل التي أنتجت نتيجة ريمان لـ Claude مستقبل البحث الرياضي. لم يكن هذا ومضة عبقرية. بل كان استكشافًا قاسيًا على نطاق واسع، تم الحفاظ عليه من خلال تشجيع البشر. من بين 60 وكيلًا فرعيًا لـ Claude، طور اثنان فقط الأفكار الرياضية الرئيسية. ساهم ثلاثة عشر بفكرتين داعمتين. حاول ثلاثون وفشلوا. استهلكت العملية 31 مليون توكن للإخراج. ما ظهر لم يكن رياضيات أنيقة بالمعنى الكلاسيكي، بل كان بحثًا حاسوبيًا ضخمًا وصبورًا طحن عبر مئات من الطرق المسدودة قبل العثور على شيء يعمل. تلاحظ Anthropic بعناية أن التقنيات التي استخدمها Claude من غير المرجح أن تؤدي إلى إثبات فرضية ريمان نفسها. تتعلق الفرضية، التي اقترحها Bernhard Riemann في عام 1859، بتوزيع الأعداد الأولية على طول خط الأعداد. تتنبأ بأن جميع الأصفار غير التافهة لدالة ريمان زيتا لها جزء حقيقي يساوي نصف. سيثور إثباتها نظرية الأعداد وسيكون له تطبيقات في التشفير والعديد من المجالات الأخرى. لكن إثبات كامل، كما يتفق الخبراء، سيتطلب نهجًا جديدًا جوهريًا، وليس تحسينات تدريجية على الحدود الحالية.
🌍 world
الذكاء الاصطناعي لم يحل فرضية ريمان، لكن قريب بما فيه الكفاية
في أغسطس 2026، تمكنت نسخة غير معلنة من Claude التابعة لـ Anthropic من كسر حاجز رياضي عمره 167 عامًا دون حتى المحاولة. دفع الذكاء الاصطناعي حدًا رئيسيًا من 41.6% إلى 67.2%، متفوقًا على عقود من العمل البشري. تظل فرضية ريمان نفسها غير محلولة، لكن السؤال الذي يقدر بمليون دولار أصبح أكثر إثارة للاهتمام.
Fact checked - 16 claims 11 Sept 2026 · 12 with sources
رأيي
الأسطورة المحيطة بالذكاء الاصطناعي الذي يحل فرضية ريمان تخفي ما حدث بالفعل، وهو بطريقة ما أكثر إثارة للاهتمام. نحن نشهد ظهور نوع جديد من العمل الرياضي: استكشاف ضخم وصبور ودؤوب لا يستطيع أي إنسان أن يتحمل مشقته أو عمره. لم يكن لدى Claude فكرة بارعة. لقد قام بـ 650 محاولة، وعشرات من الوكلاء المتوازيين، والمعادل الحاسوبي للعمل دون نوم لمدة 36 ساعة متواصلة. هذا هو المستقبل الذي كان يخشاه الرياضيون ويأملون فيه بنفس القدر. ليس الذكاء الاصطناعي الذي يحل محل الإبداع البشري، بل الذكاء الاصطناعي الذي يقوم بالعمل الشاق الذي يجد البشر أنه ممل أو مستحيل. كانت استجابة المجتمع حذرة ولكنها معجبة، وليس في حالة من الذعر. إن تعليق James Maynard حول الحاجة إلى فكرة جديدة حقيقية هو أمر دال. إنه يعترف بأن Claude قدم شيئًا مفيدًا حقًا مع الحفاظ على منظور حول ما لا يزال غير محلول. ما يقلقني هو الفجوة بين ما تدعيه شركات الذكاء الاصطناعي وما تحققه نماذجها بالفعل. أعلنت Anthropic عن تقدمها بحذر بين الضجيج والدقة، لكن العناوين كتبت نفسها على أي حال. تظل فرضية ريمان بعيدة كما كانت دائمًا، ومع ذلك نحن نعيش في لحظة حيث يعتبر أي تقدم للذكاء الاصطناعي في هذا المجال خبرًا يستحق النشر. تلك الفجوة بين الإدراك والواقع هي المكان الذي تعيش فيه الفرص والمخاطر. إذا كان بإمكان الذكاء الاصطناعي دفع حد من 41.6% إلى 67.2%، ماذا يحدث عندما يصل إلى 99%؟ هل يغير ذلك الرياضيات، أم مجرد العمل الرياضي؟
ماذا سيحدث بعد ذلك
يواجه المجتمع الرياضي الآن فترة تحقق. اعتبارًا من أوائل سبتمبر 2026، حصلت نتيجة Claude على دعم من الشركات ومراجعة خبراء، ولكن لم يتم بعد تكرارها بشكل مستقل على نطاق واسع. تستغرق هذه العملية عادةً شهورًا. إذا ثبت أن الحد 67.2% صحيح تحت التدقيق، فإنه يصبح القاعدة الجديدة للعمل المستقبلي، سواء من قبل البشر أو الآلات. من المحتمل أن تنتج مبادرة Google DeepMind للذكاء الاصطناعي في الرياضيات، التي تم الإعلان عنها في أواخر 2025، نتائج متنافسة بالتعاون مع خمس مؤسسات: Imperial College London، ومعهد الدراسات المتقدمة، IHES (فرنسا)، معهد سيمونز في جامعة كاليفورنيا في بيركلي، ومعهد تاتا للبحث الأساسي (الهند). توقع رئيس OpenAI Greg Brockman أن الذكاء الاصطناعي قد يحل مشكلة جائزة الألفية في غضون عامين إلى خمسة أعوام. يجادل CEO DeepMind Demis Hassabis بأن المختبرات التي تمتلك أدوات قوية في الرياضيات والترميز تتفوق على المنافسين لأن تلك القدرات تتراكم. السباق قد بدأ. السؤال الأكبر هو ما إذا كانت هذه التحسينات التدريجية ستتراكم إلى إثبات أو تصطدم بجدار. يعتقد خبراء مثل Maynard أن فرضية ريمان ستتطلب نهجًا مختلفًا جوهريًا، وليس مجرد حدود أفضل. لقد قاومت الفرضية 167 عامًا من الجهد البشري. تم التحقق من عشرين تريليون صفر حسابيًا على الخط الحرج. تستمر الآلات الرياضية في التحسن، لكن اللغز المركزي لا يزال دون مساس. قد يكون الذكاء الاصطناعي هو الأداة التي تكسر الحواجز أخيرًا، أو قد يكون جيدًا حقًا في القيام بما نعرف بالفعل كيفية القيام به، ولكن بشكل أسرع.
ما يخبرنا به التاريخ
تقف فرضية ريمان جنبًا إلى جنب مع تحديات رياضية عظيمة أخرى استغرقت قرونًا لحلها أو لا تزال مفتوحة. أثبت Andrew Wiles نظرية فيرما الأخيرة في عام 1995 بعد 358 عامًا. سقطت فرضية بوانكاريه على يد Grigori Perelman في عام 2003 بعد 99 عامًا. تطلبت هذه الإثباتات أطرًا رياضية جديدة تمامًا، وليس تقدمًا تدريجيًا في تقنيات معروفة. ما يجعل اللحظة الحالية مختلفة هو إدخال متعاون غير بشري بقدرات مختلفة جوهريًا. عندما بدأ الرياضيون في السبعينيات باستخدام الحواسيب للمساعدة في الإثباتات، ناقشت المجتمع ما إذا كانت الإثباتات المدعومة بالحاسوب تُعتبر رياضيات حقيقية. اعتمد إثبات نظرية الألوان الأربعة الشهيرة في عام 1976 على التحقق من آلاف الحالات بواسطة الحاسوب، واعترض بعض النقاء. لقد تم تسوية تلك المناقشة: المساعدة الحاسوبية أصبحت الآن معيارًا. لكن الذكاء الاصطناعي يقدم تحديًا جديدًا لأنه لا يحسب فقط، بل يستكشف ويجمع الأفكار بطرق لا يفهمها منشؤوه تمامًا.
تأثير السوق
تراقب صناعة التشفير عن كثب. تعتمد تشفير RSA وأنظمة المفاتيح العامة الأخرى على صعوبة تحليل الأعداد الكبيرة إلى أعداد أولية. لن يؤدي إثبات فرضية ريمان إلى كسر هذه الأنظمة على الفور، ولكنه سيوفر فهمًا أعمق لتوزيع الأعداد الأولية، مما قد يفتح طرقًا لخوارزميات تحليل أسرع. تشكل الحوسبة الكمومية بالفعل تهديدًا معروفًا للمعايير الحالية للتشفير. تضيف التقدم في الذكاء الاصطناعي في الرياضيات البحتة متغيرًا آخر إلى مشهد الأمان. تستفيد قيمة Anthropic وموقعها التنافسي مباشرة من العروض مثل عمل Claude في فرضية ريمان. جمعت الشركة تمويلًا بتقييم قدره 18.4 مليار دولار في فبراير 2024. أصبحت القدرة على التفكير الرياضي ميزة رئيسية بين مختبرات الذكاء الاصطناعي الرائدة. تتسابق Google DeepMind وOpenAI وAnthropic جميعًا لإظهار كفاءة على مستوى البحث. بالنسبة لشركات التكنولوجيا، فإن القدرة على الادعاء بالمساهمات في الرياضيات البحتة توفر كل من الهيبة والدليل على أن نماذجها يمكن أن تتعامل مع التفكير المعقد متعدد الخطوات في مجالات تتجاوز بكثير الدردشة وتوليد الصور.