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 輸入 GPT-5.4 Pro，模型約 80 分鐘推理後給出證明思路，他再花約 30 分鐘把模型輸出整理為 LaTeX 論文，最後貼上 erdosproblems.com 論壇 #1196 للمراجعة المجتمعية. ونشرت مجلة Scientific American تقريرًا عميقًا في 24 أبريل، وأجرى بودكاست OpenAI الرسمي في 28 أبريل شرحًا بعد أسبوع من الحدث.

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

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

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

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

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

كشف 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