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

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

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

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

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

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

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

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

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

وقد أشار تيرينس تاو، الحائز على جائزة فيلدز وعالم رياضيات مشهور، إلى هذا الحدث بتعليقين تم اقتباسهما على نطاق واسع. وصف المسألة بأنها «مختلفة عن غيرها — لقد نظر البشر إليها، لكنهم أخطأوا في الخطوة الأولى جماعيًا»، وأضاف أن «هذه المساهمة لها أهمية تتجاوز حل هذه المسألة المحددة لفرضية 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