80 دقيقة للحل! هاوٍ عمره 23 سنة يستخدم ChatGPT للمساعدة، ويحل معضلة رياضية عمرها 60 سنة

شاب هاوٍ يبلغ من العمر 23 عامًا بمساعدة GPT-5.4 Pro، حل لغز رياضي لاردوش استمر غموضه 60 عامًا (#1196). النموذج من خلال ربط الهيكل العددي عبر عمليات ماركوف متعددة التخصصات، اقترح مسار إثبات لم يجرؤ عليه البشر من قبل.

وفقًا للإعلان الرسمي من OpenAI في 28 أبريل وتقرير Scientific American العميق في 24 أبريل، تم حل اللغز الرياضي لاردوش الذي استمر غموضه 60 عامًا (#1196) بمساعدة النموذج الرائد في التفكير ChatGPT GPT-5.4 Pro. وفي نفس اليوم، أجرى باحثو OpenAI Sébastien Bubeck و Ernest Ryu مع المضيف Andrew Mayne حوارًا عبر البودكاست الرسمي، موضحين تفاصيل وأهمية الحدث بشكل رسمي.

بطل الحدث: هاوٍ يبلغ من العمر 23 عامًا ليام برايس

المُحَلِّي ليام برايس، 23 عامًا، بدون تدريب متقدم في الرياضيات، ويعمل أحيانًا مع طالب السنة الثانية في قسم الرياضيات بجامعة كامبريدج Kevin Barreto. قال برايس: «أنا لا أعرف ما هو هذا السؤال — أنا فقط أحيانًا أطرح مسألة لاردوش على الذكاء الاصطناعي، وأرى ماذا سيخرج».

في أحد أيام الاثنين في أبريل 2026، قدم برايس خيط لاردوش #1196 للمراجعة المجتمعية. ونشرت مجلة Scientific American تقريرًا معمقًا في 24 أبريل، وأجرى بودكاست OpenAI الرسمي في 28 أبريل شرحًا بعد أسبوع من الحدث.

اختراق رياضي: ربط الهيكل العددي عبر عمليات ماركوف، تاو يصف «خطوة أولى خاطئة من قبل البشر»

ينتمي لاردوش #1196 إلى مجال دراسات «المجموعات البدائية» — وهي مجموعة من الأعداد الصحيحة، حيث لا يمكن لأي عدد أن يقسم آخر. وتتمثل فرضية لاردوش في أنه عندما تقترب عناصر هذه المجموعات من اللانهاية، فإن «نسبة مجموع لاردوش» ستنخفض إلى 1 بالضبط.

اعتمد إثبات GPT-5.4 Pro على مسار «لم يجربه الرياضيون من قبل»: ربط الهيكل العددي (تشريح الأعداد) بنظرية عمليات ماركوف. هذا الجسر متعدد التخصصات لم يكن على مسار أي بحث سابق.

حصل تيرينس تاو، الحائز على جائزة فيلدز وعالم رياضيات مشهور، على اقتباسين واسعَي الانتشار حول هذا الحدث. وصف الأمر بأنه «مختلف تمامًا عن غيره — البشر رأوا ذلك، لكنهم أخطأوا في الخطوة الأولى»، وأضاف: «هذه المساهمة لها أهمية تتجاوز حل مسألة لاردوش المحددة هذه بكثير، لأنها تفتح آفاقًا جديدة في دراسة الهيكل العددي».

أما عالم الرياضيات من جامعة ستانفورد، Jared Duker Lichtman، فقال إن المسار الذي اتبعته الذكاء الاصطناعي أكد حدسه الطويل الأمد: أن هناك «نوعًا من الشعور الموحد بين هذه المسائل».

كشف OpenAI في 28 أبريل: حوار البودكاست والتحقق اللاحق

في بودكاست OpenAI في 28 أبريل، دعا الباحث Sébastien Bubeck و Ernest Ryu للمناقشة مع المضيف Andrew Mayne حول «دور الذكاء الاصطناعي في البحث الرياضي». وكتبت OpenAI على تويتر: «في بداية هذا الشهر، تم حل مسألة لاردوش التي استمرت 60 عامًا بمساعدة GPT-5.4 Pro. الآن، أصبح الذكاء الاصطناعي ماهرًا في الرياضيات، فماذا سيحدث بعد ذلك؟»

حتى وقت إعداد هذا النص، لا تزال إثباتات برايس قيد التحقق من قبل المجتمع على منتدى erdosproblems.com، ولم يتم اعتمادها رسميًا من قبل مراجعة الأقران؛ وأشار تقرير TheDecoder في 15 أبريل إلى أن «التحقق الرسمي لا يزال جارياً». والكشف في بودكاست OpenAI اليوم هو مستوى تواصل خارجي، وليس دليلاً على أن الإثبات الرياضي الكامل قد تم اعتماده — ويمكن للقراء متابعة التطورات عبر خيط #1196 في منتدى لاردوش للمشاكل.