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

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

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

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

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

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

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

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

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

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

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

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

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

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

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