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

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

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

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

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

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

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

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

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

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

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

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

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

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

• تم إعادة نشر هذا المقال بموافقة من：《链新闻》
• العنوان الأصلي: 《شاب عمره 23 عامًا يستخدم ChatGPT لحل مشكلة رياضية عمرها 60 عامًا: حله خلال 80 دقيقة》
• الكاتب الأصلي: Elponcrab