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

شاب هاوٍ يبلغ من العمر 23 عامًا بمساعدة GPT-5.4 Pro، حلّ فرضية رياضية لاردوس التي ظلت معلقة لمدة 60 عامًا (#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، قدم برايس خيط لاردوس #1196 للمراجعة المجتمعية. ونشرت مجلة Scientific American تقريرًا معمقًا في 24 أبريل، وأجرى بودكاست OpenAI الرسمي في 28 أبريل شرحًا بعد أسبوع من الحدث.

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

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

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

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

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

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

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

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

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